svoid test_philosophyBot1_nativePredicateOnLHS() {
  PhilosophyBot1 bot = new([[
    myPred => ok
    
    expect ok
  ]]);
  bot.addNativePredicate("myPred", () -> true);
  bot.run();
  bot.checkExpectations();
}