o Removed dead code.
o added code to record and check the refinement order
Added the possibility for a machine to refine another.
Fixed the test suite
added a continuous testing program