let setCondOfParametrizedTransition conds =
  cond_of_parametrizedTransitions := conds