Very WIP

Author: aschackmull

csharp/ql/lib/semmle/code/csharp/commons/Constants.qll

@@ -1,13 +1,14 @@
 /** Provides logic for determining constant expressions. */
 
 import csharp
+private import codeql.controlflow.SuccessorType
 private import semmle.code.csharp.commons.ComparisonTest
 private import semmle.code.csharp.commons.StructuralComparison as StructuralComparison
 
 pragma[noinline]
 private predicate isConstantCondition0(ControlFlowNode cfn, boolean b) {
-  exists(cfn.getASuccessor(any(ControlFlow::BooleanSuccessor t | t.getValue() = b))) and
-  strictcount(ControlFlow::SuccessorType t | exists(cfn.getASuccessor(t))) = 1
+  exists(cfn.getASuccessor(any(BooleanSuccessor t | t.getValue() = b))) and
+  strictcount(SuccessorType t | exists(cfn.getASuccessor(t))) = 1
 }
 
 /**