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