diff --git a/python/ql/src/semmle/python/objects/Constants.qll b/python/ql/src/semmle/python/objects/Constants.qll
index 17a749e7ae4..48c8872b66c 100644
--- a/python/ql/src/semmle/python/objects/Constants.qll
+++ b/python/ql/src/semmle/python/objects/Constants.qll
@@ -78,6 +78,7 @@ abstract class ConstantObjectInternal extends ObjectInternal {
 
 }
 
+pragma[nomagic]
 private boolean callToBool(CallNode call, PointsToContext context) {
     PointsToInternal::pointsTo(call.getFunction(), context, ClassValue::bool(), _) and
     exists(ObjectInternal arg |