let assigned_of_assigns env assigned =
    match assigned with
      | WritesAny -> A_everything
      | Writes assigned ->
          match translate_assigned env assigned with
            | Result region -> A_region region
            | Warning(source,reason) ->
                Datalib.Collector.add_warning ~source ~reason
                  "Can not translate assign hypothesis, assigns everything instead" ;
                A_everything