Predicate ExposeRepresentation::writesToArray

predicate writesToArray(Expr array)