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