svoid test_philosophyBot1_addDeepReplacement() {
  PhilosophyBot1 bot = new([[
    John is (so tired)
    
    expect (John is tired)
  ]]);
  philosophyBot1_addDeepReplacement(bot, "so tired", "tired");
  bot.runAndCheckExpectations();
  
  bot.loadProgram([[
    I am (so tired)
    expect (I am tired)
  ]]);
  bot.runAndCheckExpectations();
}