ua: enlarge solution search space when GLC contains loops
use overapproximation to restrict the solutions of the underapproximation
ph-reach: glc/saturated uses restricted solutions from over-approximation
ph-reach/cutsets: do not pollute stdout