Changed to the latest ProB2 with ExecuteUntilCommand
damn