// return new statement or null if it existed
static LispStatement lispAddLocalTruth(Lisp l) {
  if (lispTrue(l)) null;
  S id = aGlobalID();
  LispStatement s = new LispStatement(id, l);
  lispStatements_cached().put(id, s);
  ret s;
}