Predicate ExposeRepresentation::modificationAfter

predicate modificationAfter(Expr before, Expr after)