static int nlLogic_failureLevel_calc(ExecutedRule r) {
  if (r.remainingCondition == null) ret 0;
  Exp e = r.rule.rule.in, lookingFor = r.remainingCondition;
  ret l(nlLogic_unrollAnd(e))-l(nlLogic_unrollAnd(lookingFor))+1; // TODO
}