Language.Clafer.SplitJoin