let add_trace (trace : t_trace) (nom : string) (pas : t_step) (ltr : t_trace) : t_trace = 
  if !veryverbose then 
    let rec get_ifnames : t_trace -> string = function 
        [_,ifstepname,_,_]      -> ifstepname 
      | (_,ifstepname,_,_)::fin -> ifstepname ^ " " ^ (get_ifnames fin) 
      | []                      -> ""
    in (nom,(get_ifnames ltr),pas,[])::trace 
  else 
    merge trace ltr