let simplifyTrans transl =
  List.fold_left (fun (ltr,lpcond) tr -> 
                    let (crossCond , pcond ) = simplifyCond (tr.cross) in
                    (* pcond stands for parametrized condition : disjunction of conjunctions of parametrized call/return *)
                    let tr'={ start = tr.start ;
                              stop  = tr.stop  ;
                              cross = crossCond ;
                              numt  = tr.numt
                            }
                    in
                    if tr'.cross <> PFalse then (tr'::ltr,pcond::lpcond) else (ltr,lpcond)
                 ) ([],[]) (List.rev transl)