let tc_discard_states ()     = !tc_discard_states_opt