Finished initial implementation of size-termination algorithm. Codata not yet supported. Algorithm yet to be tested.
Added testing framework. See directory src/findus/test/ and HUnit documentation for further details.