Symbol: dcn31_are_clock_states_equal