TransitionSpec id added to RIMDslgenerator