For both the baseline and BSO models we enforce this constraint at testtime.
we also experiment with constraining the BSO model during training, as described in Section 4.2, by defining the succ function to only allow successor sequences containing un-used words in the source sentence.