more next_state functionality for system test