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)