let
setNumberOfTransitions nbTr = numberOfTransitions := nbTr