please include function trueStatements_cached.

static void useFacts(S facts) {
  L<S> statements = linesToCL(facts);
  // trueStatements_cached_autoClearInterval = 0;
  trueStatements_cached_cache.set(statements);
}