static Bool ai_verify_bothLinesEndWith(S s, S a, S b) {
  new Matches m;
  if "both lines end with *"
    ret endsWith(a, $1) && endsWith(b, $1);
  null;
}