let filter_args not_excluded =
  List.find_all 
    (fun (param,_) ->
      let param_type = var_id_to_type param in
(*      let real_type = to_if_type param_type in *)
      not_excluded param_type)