This makes it possible to catch regressions for non-matching functions,
especially those that only have minor issues.
This also reclassifies some minor non-matchings as major non-matchings
whenever it's really not obvious to see that they are equivalent.
Léo Lam