Predicate Member::overridesIgnoringAccess

Auxiliary predicate: whether method m1 overrides method m2, ignoring any access modifiers. Additionally, this predicate binds t1 to the type declaring m1 and t2 to the type declaring m2.

predicate overridesIgnoringAccess(Method m1, RefType t1, Method m2, RefType t2)