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