static void ai_spec_simplify(S s) {
  S x = ai_simplifyNP(s);
  if (nempty(x) && neqic(s, x))
    post(s, "possibly simplifies to", x);
}