Kompile - trying to fix the build. Removing manually the labeled subsorts on top of variables.