removed method final_state_reached