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