let assigned_of_assigns env assigned =
    if assigned=[] then None (* Everything *)
    else
      match translate_assigned env assigned with
        | Result region -> Some region
        | Warning(source,reason) ->
            Datalib.Collector.add_warning ~source ~reason
              "Can not translate assign hypothesis, assigns everything instead" ;
            None