Lines Matching refs:sc_x_11
3564 tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) { argument
3571 var sc_x_11;
3575 …0 = (is_term_equal_nboyer(sc_x_11, true_term_nboyer))), ((sc_tmp1126_10!== false)?sc_tmp1126_10:(i…
3578 …_9 = (is_term_equal_nboyer(sc_x_11, false_term_nboyer))), ((sc_tmp1125_9!== false)?sc_tmp1125_9:(i…
3581 if (!(sc_x_11 instanceof sc_Pair))
3584 if (((sc_x_11.car)===if_constructor_nboyer))
3585 …if ((((sc_x_8 = (sc_x_11.cdr.car)), (tmp1126 = (is_term_equal_nboyer(sc_x_8, true_term_nboyer))), …
3586 (sc_x_11 = (sc_x_11.cdr.cdr.car));
3588 …if ((((x = (sc_x_11.cdr.car)), (tmp1125 = (is_term_equal_nboyer(x, false_term_nboyer))), ((tmp1125…
3589 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3591 …if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_l…
3593 … (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3594 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));