IVal activeId = w.apply(location, constraint.accessId, inputVal);
CodeWriter end = constraint.mayBeRemoved() ? w.createBlock() : null;
planContext.partnerFacts.add(new PartnerFact(true, activeId, constraint, inputVal, constraint.mayBeRemoved(), killAfterMatch, null, null, end == null ? null : end.getContinuation()));
planContext.nextOp(w);
if(end != null)
IVal activeId = w.apply(location, constraint.accessId, inputVal);
CodeWriter end = constraint.mayBeRemoved() ? w.createBlock() : null;
planContext.partnerFacts.add(new PartnerFact(true, activeId, constraint, inputVal, constraint.mayBeRemoved(), killAfterMatch, null, null, end == null ? null : end.getContinuation()));
planContext.nextOp(w);
if(end != null)