svoid philosophyBot1_enableAddSimplifier(PhilosophyBot1 bot) {
  bot.anyCodeOnFacts.newA(fact -> {
    S rule = $x(bot.matchString("add simplifier $x", fact));
    if (rule == null) ret;
    PairS p = tok_splitAtDoubleArrow_pair(rule);
    if (p == null) ret;
    philosophyBot1_addSimplificationRule(bot, p.a, p.b);
  });
}

Began life as a copy of #1027155