fix inheritance problem by adding the inherited methods in the search loop to generate the permission predicates for them in the subclasses.
one more test for inheritance.
remove tests to be redesigned.
remove test to be redesigned
Merge branch 'gk/codegenconc' of https://github.com/overturetool/overture into gk/codegenconc
restore accidental removal of the transformation.
redesigned test. Problem found and need to be clarified.
fix inheritance problem. Needed changing to the Transformation sequence in order to define VDMThread extension after the getAllMethods have been completed.
Test updated with the thread section.
Merge remote-tracking branch 'origin/gk/codegenconc' into pvj/main