Predicate MakeWithSplitting::Consistency::simpleAndNormalSuccessors
Holds if node has both a simple and a normal (non-simple) successor type.
Import path
import codeql.controlflow.Cfgpredicate simpleAndNormalSuccessors(Node node, NormalSuccessorType t1, SimpleSuccessorType t2, Node succ1, Node succ2)