Adding Loop Detection

In order to detect loops we can

• Maintain an ``exclusion list'' of states which have already been processed.
• Never process the state if it is already on the processed list.
• N.B. We maintain a list of states rather than nodes because, being less complex structures, they are faster to compare.

There are several ways of doing this, depending on where we do the check.