Predicate definitions::dummyTypeAccess

predicate dummyTypeAccess(TypeAccess ta)