Renamed state charts for verification