- w.branchAwayIf(w.apply(location, NullCheck.INSTANCE.createSpecialization(constraint.factType), fact), activeFact.finishCont);
- w.branchAwayUnless(activeFact.isAlive(location, w, fact), dead.getContinuation());
- w.jump(activeFact.continueCont, fact);
- dead.jump(initialContinuation, dead.apply(location, activeFact.nextFact, fact));
+ w.branchAwayIf(location, w.apply(location, NullCheck.INSTANCE.createSpecialization(constraint.factType), fact), activeFact.finishCont);
+ w.branchAwayUnless(location, activeFact.isAlive(location, w, fact), dead.getContinuation());
+ w.jump(location, activeFact.continueCont, fact);
+ dead.jump(location, initialContinuation, dead.apply(location, activeFact.nextFact, fact));