Enhancing Event-B Pattern