Predicate ExposeRepresentation::modificationAfter

VarAccess modificationAfter(VarAccess v)