path: root/omega/examples/old_test/foo2

Hull( {[1,1]} union
 {[In_1,In_1]: 2 <= In_1});