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