svoid dm_gazelle_matchStep_condition(GazelleTree t, O... _) {
  if (t.rule() == null) ret;
  bool debug = boolPar debug(_) || boolPar debugConditions(_);
  GRuleLine next = get(t.rule().insWithType, t.mr.iCond);
  if (debug) print("matchStep_condition: " + getString type(next));
  if (next == null || !eq(next.type, "condition")) ret;
  
  bool satisfied = false;
  
  //S cond = next.text;
  S cond = t.mr.applyMappingTo(next);
  
  if (gazelle_isEmbeddedEval(cond)) {
    if (debug) print("Embedded eval: " + cond);
    satisfied = eqic(dm_processEmbeddedSafeEvals(cond), "true");
  } else {
    GazelleEvalContext subCtx = cast callF(requiredPar contextMaker(_));
    subCtx.engine.dropRulesWhere(r -> neq(r.purpose, "condition to eval"));
    L<GazelleTree> l = dm_gazelle_reasonAboutChatInput_v2(null, cond, paramsPlus(paramsMinus(_, 'acceptablePurposes), ctx := subCtx));
    gazelle_processSafeEvalsInTree(l);
    if (debug) {
      print("Sub-Tree for condition " + cond + ":");
      printIndentLines(l);
    }
  
    for (GazelleTree tree : l)
      if (eqic(tree.line, "true"))
        break with satisfied = true;
      else if (eqic(tree.line, "false"))
        break;
  }
      
  if (debug) print("satisfied=" + satisfied);
  if (!satisfied) ret;
  
  t.mr.iCond++;
  gazelle_addPredictionToTreeNode(t);
  t.mr.remainingConditions = dropFirst(t.mr.remainingConditions);
  t.mr.remainingConditionsWithType = dropFirst(t.mr.remainingConditionsWithType);
}