Updated description
Working on eventB-style v2.0