Fixed pre/post conditions in update after modifying Bridge-fix state machine