Kill non-determinism in DCG.