static WeakAssoc<L<Statement>, Map<S, LispStatement>> lispStatements_cache = new WeakAssoc(f statementsToLisp);

static Map<S, LispStatement> lispStatements_global;

static Map<S, LispStatement> lispStatements_cached() {
  if (lispStatements_global != null) ret lispStatements_global;
  ret lispStatements_cache.get(loadTruth_cached());
}