Predicate Shadowing::initializedToField

predicate initializedToField(LocalVariableDecl d, Field f)