++ When checking overrides, compare methods structurally
++ When checking overrides, compare methods structurally
~~ Action for all errors
Support equalityAxioms in isSubtypeOf()