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