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