let assigns = function
| [] -> None
| assign_list ->
let assign_list =
List.filter
(function
Location out,_ ->
not (Logic_utils.is_result out.it_content)
| Nothing, _ -> false)
assign_list
in
let assign_list = List.flatten (List.map zone assign_list) in
Some(Loc.dummy_position,assign_list)