added same state to transition and transition branch
added transition branch checking