sS ai_ifToFactRule_1(S s) {
  new Matches m;
  if (!flexMatchIC("if *, *", s, m)) null;
  ret "fact(" + $1 + ") => fact(" + $2 + ")";
}