if {[string compare $command "SplitAngle"] == 0 } {
    puts "TODO OCC23127 ALL: Faulty shapes in variables faulty_1 to faulty_4 "
}
restore [locate_data_file SFR15000.brep] a