static L<Statement> loadTruth_cached_list;
static new O loadTruth_cached_lock;

static L<Statement> loadTruth_cached() {
  synchronized(loadTruth_cached_lock) {
    if (loadTruth_cached_list == null)
      loadTruth_cached_list = loadTruth();
    ret loadTruth_cached_list;
  }
}

static void loadTruth_clearCache() {
  synchronized(loadTruth_cached_lock) {
    loadTruth_cached_list = null;
  }
}