Fixed problem with picking a wrong event in readInputs() of Event-B component