Branch by abstraction Example