Predicate modificationAfter

VarAccess modificationAfter(VarAccess v)