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)