hedge abstraction