svoid test_philosophyBot1_trails() {
  PhilosophyBot1 bot = new([[
    a & b => c
    
    a
  ]]);
  bot.enableTrails();
  bot.think();
  pnl(bot.logicRules());
}