static L<Map<S, Lisp>> matchCondition_all(Lisp condition, Map<S, Lisp> m) {
  L<Lisp> facts = lispTruth();
  
  O evaluator = getLispEvaluator(condition.head);
  if (evaluator != null)
    ret (L) (isTrue(callF(evaluator, lispReplaceVars(condition, m)))
      ? ll(m) : ll());

  L<Map<S, Lisp>> candidates = new L;
  for (Lisp fact : facts) {
    Map<S, Lisp> m2 = cloneMap(m);
    if (lispMatchIC_xyzVars_sub(condition, fact, m2))
      candidates.add(m2);
  }
  ret candidates;
}