removed stupid getVal()
- simple optimizations in semilinear sets
- error msg if input file could not be opened