static S ai_tryIfAndInput(S s) {
  for (S rule : fullIndexedTermsStartingWith("[[if ")) pcall {
    if (ai_isRuleSuitableForFunction(rule, 'ai_ifAndInput)) pcall {
      try answer ai_ifAndInput(rule, s);
    }
  }
  null;
}