Declarations/DuplicateVarDecl.ql