fixed AST creator exclusion in eclipse
enabled integration test of prob for modules
Updated typechecker test results
Merge branch 'origin/kel/astv2'
Merge branch 'origin/test'
Operations/functions in a flat SL spec are marked as unused, fixes #173
Corrected some external CSK test results files.
Merge remote-tracking branch 'origin/pvj/main' into ncb/development

Conflicts:
	core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/lookup/lookup.vpp.result
	core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/static/static-05.vpp.result
	core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/static/static-06.vpp.result
	core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
	core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
	core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
Correction for checking nested compose types