let print_transitionl trl =
  Format.print_string ("Transitions : \n") ;
  List.iter print_transition trl