Predicate Shadowing::getterFor

predicate getterFor(Method m, Field f)