Searched refs:tautologyp_nboyer (Results 1 – 1 of 1) sorted by relevance
3449 var tautologyp_nboyer; variable3564 tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) { function3591 …if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_l…3790 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));