Predicate Shadowing::shadows

predicate shadows(LocalVariableDecl d, Class c, Field f, Callable method)