Kompile - fixing a bug related to List{Sort," "} separator. It would generate inconsistent data into maude. Triming the separator, because it has no effect anyway.