fixed a bug in string-constructor of semilinear sets (not pretty--we have to rewrite that anyways)