Predicate Shadowing::confusingAccess

predicate confusingAccess(LocalVariableDecl d, Field f)