Fixed dependencies to ProB and Event-B simulation prolog exception