1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs
index 1f563c0f..1d7bdbb3 100644
--- a/Source/Provers/Simplify/ProverInterface.cs
+++ b/Source/Provers/Simplify/ProverInterface.cs
@@ -757,6 +757,10 @@ namespace Microsoft.Boogie.Simplify {
       //Contract.Requires(var != null);
       Contract.Ensures(Contract.Result<string>() != null);
 
+      VCExprVar v = AxBuilder.TryTyped2Untyped(var);
+      if (v != null) {
+        var = v;
+      }
       return Namer.Lookup(var);
     }