/* {COLOR}.is_ind */
EIF_TYPED_VALUE F2322_31744 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "is_ind";
RTEX;
#define arg1 arg1x.it_r8
EIF_REAL_64 tr8_1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r8 = * (EIF_REAL_64 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLIU(1);
RTLU (SK_BOOL, &Result);
RTLU(SK_REAL64,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2321, Current, 0, 1, 36818);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(2321, Current, 36818);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr8_1 = eif_abs_real64 (arg1);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) ((EIF_REAL_64) -tr8_1 >= (EIF_REAL_64) 1.0);
RTVI(Current, RTAL);
RTRS;
RTHOOK(2);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{
EIF_TYPED_VALUE r;
r.type = SK_BOOL;
r.it_b = Result;
return r;
}
#undef arg1
}
/* {CITY_ITEM}.approx_equal */
EIF_TYPED_VALUE F2314_31629 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "approx_equal";
RTEX;
#define arg1 arg1x.it_r8
#define arg2 arg2x.it_r8
EIF_TYPED_VALUE ur8_1x = {{0}, SK_REAL64};
#define ur8_1 ur8_1x.it_r8
EIF_REAL_64 tr8_1;
EIF_REAL_64 tr8_2;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_r8 = * (EIF_REAL_64 *) arg2x.it_r;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r8 = * (EIF_REAL_64 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLIU(1);
RTLU (SK_BOOL, &Result);
RTLU(SK_REAL64,&arg1);
RTLU(SK_REAL64,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2313, Current, 0, 2, 36708);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2313, Current, 36708);
RTIV(Current, RTAL);
RTHOOK(1);
tb1 = '\01';
ur8_1 = arg1;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(24203, dtype))(Current, ur8_1x)).it_b);
if (!tb2) {
ur8_1 = arg2;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(24203, dtype))(Current, ur8_1x)).it_b);
tb1 = tb2;
}
if (tb1) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tb1 = '\0';
ur8_1 = arg1;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(24203, dtype))(Current, ur8_1x)).it_b);
if (tb2) {
ur8_1 = arg2;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(24203, dtype))(Current, ur8_1x)).it_b);
tb1 = tb2;
}
Result = (EIF_BOOLEAN) tb1;
} else {
RTHOOK(3);
if ((EIF_BOOLEAN)(arg2 == (EIF_REAL_64) 0.0)) {
RTHOOK(4);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr8_1 = eif_abs_real64 (arg1);
tr8_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24199, dtype))(Current)).it_r8);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) (tr8_1 <= tr8_2);
} else {
RTHOOK(5);
if ((EIF_BOOLEAN)(arg1 == (EIF_REAL_64) 0.0)) {
RTHOOK(6);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr8_1 = eif_abs_real64 (arg2);
tr8_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24199, dtype))(Current)).it_r8);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) (tr8_1 <= tr8_2);
} else {
RTHOOK(7);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr8_1 = eif_abs_real64 ((EIF_REAL_64) ((EIF_REAL_64) 1.0 - (EIF_REAL_64) ((EIF_REAL_64) (arg1) / (EIF_REAL_64) (arg2))));
tr8_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24199, dtype))(Current)).it_r8);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) (tr8_1 <= tr8_2);
}
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef ur8_1
#undef arg2
#undef arg1
}
/* {CITY_ITEM}.approx_less */
EIF_TYPED_VALUE F2314_31630 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "approx_less";
RTEX;
#define arg1 arg1x.it_r8
#define arg2 arg2x.it_r8
EIF_REFERENCE tr1 = NULL;
EIF_REAL_64 tr8_1;
EIF_REAL_64 tr8_2;
EIF_REAL_64 tr8_3;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_r8 = * (EIF_REAL_64 *) arg2x.it_r;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r8 = * (EIF_REAL_64 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_BOOL, &Result);
RTLU(SK_REAL64,&arg1);
RTLU(SK_REAL64,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2313, Current, 0, 2, 36709);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2313, Current, 36709);
RTIV(Current, RTAL);
RTHOOK(1);
if ((EIF_BOOLEAN)(arg2 == (EIF_REAL_64) 0.0)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24199, dtype))(Current)).it_r8);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) (arg1 < (EIF_REAL_64) -tr8_1);
} else {
RTHOOK(3);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr1 = RTLN(eif_new_type(864, 0x00).id);
*(EIF_REAL_64 *)tr1 = arg2;
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(14449, "sign", tr1))(tr1)).it_i4);
tr8_1 = (EIF_REAL_64) (ti4_1);
tr8_2 = eif_abs_real64 (arg2);
tr8_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24199, dtype))(Current)).it_r8);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) ((EIF_REAL_64) (tr8_1 - (EIF_REAL_64) ((EIF_REAL_64) (arg1) / (EIF_REAL_64) (tr8_2))) > tr8_3);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef arg2
#undef arg1
}
/* {COLOR}.make_from_real_rgb */
void F2322_31724 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x)
{
GTCX
char *l_feature_name = "make_from_real_rgb";
RTEX;
#define arg1 arg1x.it_r8
#define arg2 arg2x.it_r8
#define arg3 arg3x.it_r8
EIF_REFERENCE tr1 = NULL;
EIF_REAL_64 tr8_1;
EIF_REAL_64 tr8_2;
EIF_INTEGER_32 ti4_1;
EIF_NATURAL_8 tu1_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_r8 = * (EIF_REAL_64 *) arg3x.it_r;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_r8 = * (EIF_REAL_64 *) arg2x.it_r;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r8 = * (EIF_REAL_64 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_VOID, NULL);
RTLU(SK_REAL64,&arg1);
RTLU(SK_REAL64,&arg2);
RTLU(SK_REAL64,&arg3);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2321, Current, 0, 3, 36821);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2321, Current, 36821);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("r_in_range", EX_PRE);
RTTE((EIF_BOOLEAN) ((EIF_BOOLEAN) ((EIF_REAL_64) 0.0 <= arg1) && (EIF_BOOLEAN) (arg1 <= (EIF_REAL_64) 1.0)), label_1);
RTCK;
RTHOOK(2);
RTCT("g_in_range", EX_PRE);
RTTE((EIF_BOOLEAN) ((EIF_BOOLEAN) ((EIF_REAL_64) 0.0 <= arg2) && (EIF_BOOLEAN) (arg2 <= (EIF_REAL_64) 1.0)), label_1);
RTCK;
RTHOOK(3);
RTCT("b_in_range", EX_PRE);
RTTE((EIF_BOOLEAN) ((EIF_BOOLEAN) ((EIF_REAL_64) 0.0 <= arg3) && (EIF_BOOLEAN) (arg3 <= (EIF_REAL_64) 1.0)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
RTHOOK(4);
RTDBGAA(Current, dtype, 24957, 0x30000000, 1); /* red */
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(14584, 876))(Current)).it_n1);
tr8_1 = (EIF_REAL_64) (tu1_1);
tr1 = RTLN(eif_new_type(864, 0x00).id);
*(EIF_REAL_64 *)tr1 = (EIF_REAL_64) (tr8_1 * arg1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(14468, "rounded", tr1))(tr1)).it_i4);
RTNHOOK(4,1);
tu1_1 = (EIF_NATURAL_8) ti4_1;
*(EIF_NATURAL_8 *)(Current + RTWA(24957, dtype)) = (EIF_NATURAL_8) tu1_1;
RTHOOK(5);
RTDBGAA(Current, dtype, 24958, 0x30000000, 1); /* green */
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(14584, 876))(Current)).it_n1);
tr8_1 = (EIF_REAL_64) (tu1_1);
tr1 = RTLN(eif_new_type(864, 0x00).id);
*(EIF_REAL_64 *)tr1 = (EIF_REAL_64) (tr8_1 * arg2);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(14468, "rounded", tr1))(tr1)).it_i4);
RTNHOOK(5,1);
tu1_1 = (EIF_NATURAL_8) ti4_1;
*(EIF_NATURAL_8 *)(Current + RTWA(24958, dtype)) = (EIF_NATURAL_8) tu1_1;
RTHOOK(6);
RTDBGAA(Current, dtype, 24959, 0x30000000, 1); /* blue */
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(14584, 876))(Current)).it_n1);
tr8_1 = (EIF_REAL_64) (tu1_1);
tr1 = RTLN(eif_new_type(864, 0x00).id);
*(EIF_REAL_64 *)tr1 = (EIF_REAL_64) (tr8_1 * arg3);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(14468, "rounded", tr1))(tr1)).it_i4);
RTNHOOK(6,1);
tu1_1 = (EIF_NATURAL_8) ti4_1;
*(EIF_NATURAL_8 *)(Current + RTWA(24959, dtype)) = (EIF_NATURAL_8) tu1_1;
if (RTAL & CK_ENSURE) {
RTHOOK(7);
RTCT("red_set", EX_POST);
tr8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24960, dtype))(Current)).it_r8);
tr8_2 = eif_abs_real64 ((EIF_REAL_64) (tr8_1 - arg1));
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(14584, 876))(Current)).it_n1);
ti4_1 = (EIF_INTEGER_32) tu1_1;
if ((EIF_BOOLEAN) (tr8_2 <= (EIF_REAL_64) ((EIF_REAL_64) (((EIF_INTEGER_32) 1L)) / (EIF_REAL_64) (ti4_1)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(8);
RTCT("green_set", EX_POST);
tr8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24961, dtype))(Current)).it_r8);
tr8_2 = eif_abs_real64 ((EIF_REAL_64) (tr8_1 - arg2));
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(14584, 876))(Current)).it_n1);
ti4_1 = (EIF_INTEGER_32) tu1_1;
if ((EIF_BOOLEAN) (tr8_2 <= (EIF_REAL_64) ((EIF_REAL_64) (((EIF_INTEGER_32) 1L)) / (EIF_REAL_64) (ti4_1)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(9);
RTCT("blue_set", EX_POST);
tr8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24962, dtype))(Current)).it_r8);
tr8_2 = eif_abs_real64 ((EIF_REAL_64) (tr8_1 - arg3));
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(14584, 876))(Current)).it_n1);
ti4_1 = (EIF_INTEGER_32) tu1_1;
if ((EIF_BOOLEAN) (tr8_2 <= (EIF_REAL_64) ((EIF_REAL_64) (((EIF_INTEGER_32) 1L)) / (EIF_REAL_64) (ti4_1)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(10);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
#undef arg3
#undef arg2
#undef arg1
}
/* {EV_GAUGE}._invariant */
void F1264_16392 (EIF_REFERENCE Current, int where)
{
GTCX
char *l_feature_name = "_invariant";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REAL_64 tr8_1;
EIF_REAL_64 tr8_2;
EIF_REAL_64 tr8_3;
EIF_REAL_32 tr4_1;
EIF_REAL_32 tr4_2;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
RTCDT;
RTLD;
RTDA;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAINV(l_feature_name, 1263, Current, 0, 16391);
RTSA(dtype);
RTME(dtype, 0);
RTIT("range_not_void", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb1 = (EIF_BOOLEAN)(tr1 != NULL);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("range_not_empty", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1693, "is_empty", tr1))(tr1)).it_b);
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("value_in_range", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1692, "has", tr1))(tr1, ui4_1x)).it_b);
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("step_positive", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9060, dtype))(Current)).it_i4);
tb1 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L));
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("leap_positive", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4);
tb1 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L));
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("change_actions_not_void", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6230, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb1 = (EIF_BOOLEAN)(tr1 != NULL);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("proportion_within_range", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
tb2 = '\0';
tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4);
tr4_2 = (EIF_REAL_32) ((EIF_REAL_64) 0.0);
if ((EIF_BOOLEAN) (tr4_1 >= tr4_2)) {
tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4);
tr4_2 = (EIF_REAL_32) ((EIF_REAL_64) 1.0);
tb2 = (EIF_BOOLEAN) (tr4_1 <= tr4_2);
}
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("proportion_definition", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb2) {
tb2 = '\01';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) {
tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4);
tr4_2 = (EIF_REAL_32) ((EIF_REAL_64) 0.0);
tb2 = (EIF_BOOLEAN)(tr4_1 == tr4_2);
}
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTIT("proportion_correct_value", Current);
tb1 = '\01';
tb2 = '\0';
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b);
if (tb3) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4);
tb2 = (EIF_BOOLEAN)(ti4_1 != ti4_2);
}
if (tb2) {
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4);
tr8_1 = eif_abs_real64 (((EIF_REAL_64) ((EIF_REAL_64) ((EIF_INTEGER_32) (ti4_1 - ti4_2)) / (EIF_REAL_64) ((EIF_INTEGER_32) (ti4_3 - ti4_4)))));
tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4);
tr8_2 = (EIF_REAL_64) (tr4_1);
tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9072, dtype))(Current)).it_r4);
tr8_3 = (EIF_REAL_64) (tr4_1);
tb1 = (EIF_BOOLEAN) ((EIF_REAL_64) (tr8_1 - tr8_2) < tr8_3);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
#undef up1
#undef ui4_1
}
