let
setCondOfParametrizedTransition conds =
cond_of_parametrizedTransitions := conds