improved hanndling of trivial interval linear expression in meet lincons
improved hanndling of trivial interval linear expression in meet lincons

eth-srl/OptOctagon,eth-srl/OptOctagon,eth-srl/OptOctagon