test code cleanup and introduction of system property for generation instead of static change in code that has to manually be changed back to non generation
renamed test cases in the interpreter
updated the modelchecker with a better test structure