svoid test_ai_ruleOfThree_2() { 
  test_ai_ruleOfThree_2(lambda2 ai_ruleOfThree_solver_2);
}

svoid test_ai_ruleOfThree_2(IF2<S, S, S> f) {
  S db = [[
    If a HTTP request comes in, play a sound
    If a bell rings, open door
  ]];
  testFunctionValues_twoArgs(f,
    pair(db, "a HTTP request comes in"), "play a sound",
    pair(db, "a bell rings"), "open door",
    pair(db, "something else"), null);
}