svoid mmo2_simplePatternCheck(S examplesText, S counterexamplesText, S pattern) {
  for (S s : tlftj(examplesText))
    assertTrueVerbose(pattern + " / " + s, mmo2_match(pattern, s));
  for (S s : tlftj(counterexamplesText))
    assertFalseVerbose(pattern + " / " + s, mmo2_match(pattern, s));
}