assert_reg_state_eq
if (!assert_reg_state_eq(&fr1, &fe1, "false_reg1") ||
!assert_reg_state_eq(&fr2, &fe2, "false_reg2") ||
!assert_reg_state_eq(&tr1, &te1, "true_reg1") ||
!assert_reg_state_eq(&tr2, &te2, "true_reg2")) {