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