let setNumberOfTransitions nbTr = numberOfTransitions := nbTr