Implement termination checker
Fixed small but in ChainProcessor
Added automatic testing to termination framework and corrected some
small issues in the ChainProcessor system. Some tests ending in .BAK
should be runnable but can't for now because of a memory leak somewhere
in the framework.
Updated project and added solver memory freeing
Add debug section for termination