150 	    (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no))  in __expr_eliminate_eq()
158 		e1 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
159 		e2 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
246 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
250 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
262 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
266 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
282 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
298 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
337 			if (e->right.sym == &symbol_no) {  in expr_trans_bool()
385 			return expr_alloc_comp(E_UNEQUAL, sym1, &symbol_no);  in expr_join_or()
388 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_or()
389 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes))) {  in expr_join_or()
394 		    ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_or()
395 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod))) {  in expr_join_or()
450 	if ((e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_no) ||  in expr_join_and()
451 	    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_no))  in expr_join_and()
466 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
473 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
476 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_and()
477 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes)))  in expr_join_and()
485 			return expr_alloc_comp(E_EQUAL, sym1, &symbol_no);  in expr_join_and()
488 			   ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_and()
489 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod)))  in expr_join_and()
541 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups1()
589 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups2()
663 		if (e->right.sym == &symbol_no) {  in expr_transform()
672 			e->left.sym = &symbol_no;  in expr_transform()
685 		if (e->right.sym == &symbol_no) {  in expr_transform()
747 				e->left.sym = &symbol_no;  in expr_transform()
759 			if (e->left.expr->left.sym == &symbol_no) {  in expr_transform()
822 			if (dep->right.sym == &symbol_no)  in expr_depends_symbol()
875 			e1 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
876 			e2 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
899 		if (sym == &symbol_no)  in expr_trans_compare()
909 		if (sym == &symbol_no)  in expr_trans_compare()
922 				return expr_alloc_symbol(&symbol_no);  in expr_trans_compare()
923 			if (sym == &symbol_no)  in expr_trans_compare()
930 			if (sym == &symbol_no)  in expr_trans_compare()