if {[string compare $command "SplitAngle"] == 0 } {
  puts "TODO OCC23127 ALL: Faulty shapes in variables faulty_"
}

restore [locate_data_file BLENDE9699.brep] a