renumber states in processed log