let
cond_of_parametrizedTransitions = ref (
Array
.make (1) [[]])