let mk_range_inf  = "range_inf"