Suggested
=========
* Check that the algorithm is complete
* Path compression
* Order disjunctions topologically ; use a heap instead of a queue
* SCC
* LDS

Done
====

Rejected
========
