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