Predicate Consistency::breakInvariant2
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSharedpredicate breakInvariant2(ControlFlowElement pred, Splits predSplits, ControlFlowElement succ, Splits succSplits, SplitImpl split, Completion c)