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.