Added support for the precondition rule(s), in preparation of tableau cascades.
Code for tableau cascades. Needs some refactoring and a user-friendly front-end.
Deleted superfluous file.