Created by: lyg1597
Adding the feature to reduce over-approximation at mode switching and some examples.