Advanced Deductions
What to do when the program stops
making progress?
There are other deductions
a user can make
and which the user
can tell the program to adopt.
N.B. The program does not make these deductions
because they are two damn hard to code. --wwc