With a trivial modification we can output translations that can fit any one of the patterns, as long as we do not care which.
we cannot afford to explore a part of the hypothesis space which has no possible solutions for our constraints, we must be able to prune a hypothesis as soon as it leads us to such a subspace, otherwise we will end up on an unrecoverable garden path.