tests/boolean/boptuc_2d/K4

   1 restore [locate_data_file case_6_face.brep] a
   2 restore [locate_data_file case_4_wire3.brep] b
   3 bop a b
   4 boptuc result
   5 set length 1450.39
   6 set nbsh_v 17
   7 set nbsh_e 12