let simplifyTrans transl =
List.fold_left (fun ltr tr ->
let tr'={ start = tr.start ;
stop = tr.stop ;
cross = simplifyCond (tr.cross) ;
numt = tr.numt
}
in
if tr'.cross <> PFalse then tr'::ltr else ltr
) [] (List.rev transl)