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)