Predicate Shadowing::assignmentToShadowingLocal

predicate assignmentToShadowingLocal(LocalVariableDecl d, Field f)