Additional validation in TransitionGenerator