sS nlLogic_failureLevelString(ExecutedRule r) {
  Exp e = r.rule.rule.in, lookingFor = r.remainingCondition;
  ret str(l(nlLogic_unrollAnd(e))-l(nlLogic_unrollAnd(lookingFor))+1); // TODO
}