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