let getParametrizedCondOfTransition tr =
  !cond_of_parametrizedTransitions.(tr)