3512         var lst;
3513 …r((term.car))), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((translate_term_nboyer((lst…
3515     translate_args_nboyer = function(lst) {  argument
3518 …lst === null)?null:(new sc_Pair(((term = (lst.car)), (!(term instanceof sc_Pair)?term:(new sc_Pair…
3556         var lst;
3558 …erm.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.c…
3560     apply_subst_lst_nboyer = function(alist, lst) {  argument
3562 …return ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst…
3607         var lst;
3617                     (lst = ((symbol_record = (term.car)), (symbol_record[(1)])));
3619                         if ((lst === null))
3622 …if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_1…
3623 …        return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3625                                 (lst = (lst.cdr));
3630     rewrite_args_nboyer = function(lst) {  argument
3632 …return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((…
3720     is_term_member_nboyer = function(x, lst) {  argument
3722         var lst;
3724             if ((lst === null))
3727                 if (((is_term_equal_nboyer(x, (lst.car)))!== false))
3730                     (lst = (lst.cdr));
3740         var lst;
3748             (lst = sc_const_3_nboyer);
3749             while (!(lst === null)) {
3751                     (term = (lst.car));
3761                     (lst = (lst.cdr));