added scheduler Event-B to IL1 skeleton