Check modifies state of start_state column.