module importAll { const integer c_B := 43; type component comp_A { } type component comp_Aa { } group x{ function f_A () runs on comp_A { } } altstep a_A () { } }