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