fixed EventB parsing