Predicate 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.
Import path
import javapredicate overridesIgnoringAccess(Method m1, RefType t1, Method m2, RefType t2)