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 java
predicate
overridesIgnoringAccess
(
Method
m1
,
RefType
t1
,
Method
m2
,
RefType
t2
)