Improve Backtracking docstring.
Support backtrack on dead-end, add example.