1 2 3 4 5 6 7
--# -path=.:alltenses concrete SammieFre of Sammie = SammieI with (Syntax = SyntaxFre), (Symbolic = SymbolicFre), (ParamSammie = ParamSammieFre) ;