Fixed null arguments
Using ExecuteUntilCommand for Event-B doStep()