Symbol: assert_reg_state_eq