Declarations/MissingVarDecl.ql