svoid test_philosophyBot1_trails() {
  PhilosophyBot1 bot = new([[
    a & b => c
    
    a
  ]]);
  bot.enableTrails();
  bot.think();
  for (PhilosophyBot1.LogicRule rule : bot.logicRules()) {
    print(rule + ", trail: " + rule.trail);
    assertNotNull("trail" , rule.trail);
  }
}