Elevator problem with jasmine