Predicate Shadowing::assignmentFromShadowingLocal

predicate assignmentFromShadowingLocal(LocalVariableDecl d, Field f)