sbool checkIfFunctionDistinguishesTwoMechLists(S function, S posExamplesListName, S negExamplesListName) {
  for (S s : mL(posExamplesListName))
    if (!isTrue(callAndMake(function, s)) false;
  for (S s : mL(negExamplesListName))
    if (isTrue(callAndMake(function, s)) false;
  true;
}