Variable abstraction in EHS