removed some debug outputs, fixed small bug in semilinear set addition