public function it_only_records_the_instruction_position_when_entering_basement_for_the_first_time(InstructionParser $parser, Elevator $elevator)
 {
     $position = random_int(1, 1000);
     $parser->getInstructionPosition()->willReturn($position);
     $elevator->getFloor()->willReturn(-1);
     $this->update($elevator);
     $this->getInstructionPosition()->shouldBe($position);
     $parser->getInstructionPosition()->willReturn($position * 2);
     $this->update($elevator);
     $this->getInstructionPosition()->shouldBe($position);
 }