let
getParametrizedCondOfTransition tr =
!cond_of_parametrizedTransitions.(tr)