concrete TestSemanticsIta of TestSemantics = TestIta, SemanticsIta ;