Predicate definitions::dummyVarAccess

predicate dummyVarAccess(VarAccess va)