// returns number of expectations checked
// fails on error
static int ai_checkMusing(S musing) {
  PhilosophyBot1 bot = new(musing);
  bot.printNonMatches = true;
  bot.smartParser1_verbose = true;
  bot.debugContradictionChecks = true;
  pb_allStandardFeatures(bot);
  bot.autoOpenTheories();
  bot.run();
  ret bot.checkExpectations();
}