Add a test that verifies the number of solutions for *p83-graph*.
Move null test on F into the loop preamble.
Add some comments and rename branch-exists-p to branch-p.
Remove restore-f.

Remove the restore-f function and stop tracking pushed / popped
edges. Just make a copy of f at the begging of the loop, and restore it
via setf.