Added coverage for random label_state.