let
getNumberOfTransitions () =
List
.length (snd !automata)