3506         var lst;
3507 …r((term.car))), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((translate_term_nboyer((lst…
3509     translate_args_nboyer = function(lst) {  argument
3512 …lst === null)?null:(new sc_Pair(((term = (lst.car)), (!(term instanceof sc_Pair)?term:(new sc_Pair…
3550         var lst;
3552 …erm.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.c…
3554     apply_subst_lst_nboyer = function(alist, lst) {  argument
3556 …return ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst…
3601         var lst;
3611                     (lst = ((symbol_record = (term.car)), (symbol_record[(1)])));
3613                         if ((lst === null))
3616 …if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_1…
3617 …        return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3619                                 (lst = (lst.cdr));
3624     rewrite_args_nboyer = function(lst) {  argument
3626 …return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((…
3714     is_term_member_nboyer = function(x, lst) {  argument
3716         var lst;
3718             if ((lst === null))
3721                 if (((is_term_equal_nboyer(x, (lst.car)))!== false))
3724                     (lst = (lst.cdr));
3734         var lst;
3742             (lst = sc_const_3_nboyer);
3743             while (!(lst === null)) {
3745                     (term = (lst.car));
3755                     (lst = (lst.cdr));