Predicate Shadowing::thisAccess

predicate thisAccess(LocalVariableDecl d, Field f)