changed simplification of offsets. only keep linear indepentent ones
added some benchmarks for slsetndd
do not use the simplifier in slsetndd, would introduce a bug
small cleanup in semilinSetNDD