1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs
index a76566e4..3d6b7b18 100644
--- a/Source/Predication/UniformityAnalyser.cs
+++ b/Source/Predication/UniformityAnalyser.cs
@@ -422,6 +422,11 @@ namespace Microsoft.Boogie
 
         public bool IsUniform(string procedureName, Expr expr)
         {
+            if (!uniformityInfo.ContainsKey(procedureName))
+            {
+                return false;
+            }
+
             UniformExpressionAnalysisVisitor visitor = new UniformExpressionAnalysisVisitor(uniformityInfo[procedureName].Value);
             visitor.VisitExpr(expr);
             return visitor.IsUniform();