I'm gonna guess it's the assumption that the intermediate steps of the algo can determine that a solution doesn't exist.

>As usual, if the solution does not exist, the process is terminated with a message "No solution at Level 2, Identity 2"