module checkFunctionsModuleContainmentGood { import from LibCommon_time all; // good module, only functions and altsteps function f_1 () { } altstep a_1 () { } group GroupedDefs { function f_2 () { } altstep a_2 () { } } //depending on the configuration external functions //may (default) or may not be allowed external function ef_1 (); }