This has also been observed for other morphological learners (Goldwater et al., 2006).
we use types in learning and inference, and effectively enforce the constraint that words can have only one segmentation per type.