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)