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

static Map<S, LispStatement> lispStatements_cached() {
  ret lispStatements_cache.get(loadTruth_cached());
}