`NoBackTrack P` requires `P` but will never backtrack on it
once a result for `P` has been found.