Wrapping reach tube

[schillic]

Currently every discrete-post operator wraps the reach sets in ReachSet objects in the tube⋂inv! method. Instead, this should be done at a common place (probably solve right before or after calling this methd) to aviod code duplication and misuse.