Implemented the shape reduction iterator. Also, the two CT test cases have been changed to use new testing framework. Added a test case fromt the "Combinatorial Testing for VDM" paper to exercise shape reduction.
Extended the CT test cases so more shaped reduction tests can be made based on same test file.