else {
CodeWriter iterateAlive = w.createBlock(activeFact.constraint.factType);
w.jump(iterateAlive.getContinuation(), w.apply(location, activeFact.nextFact, activeFact.factVar));
else {
CodeWriter iterateAlive = w.createBlock(activeFact.constraint.factType);
w.jump(iterateAlive.getContinuation(), w.apply(location, activeFact.nextFact, activeFact.factVar));