let safe_approximation_names = [
    Split,   "split" ;
    CoSplit"co-split"
  ]