static void clearStatementCaches() {
  callOpt(mc(), "loadTruth_clearCache");
  callOpt(mc(), "trueStatements_clearCache");
}

static void clearStatementCaches(double seconds) {
  callOptMC("loadTruth_clearCache", seconds);
  callOptMC("trueStatements_clearCache", seconds);
}