144 	    (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no))  in __expr_eliminate_eq()
152 		e1 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
153 		e2 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
240 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
244 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
256 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
260 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
276 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
292 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
331 			if (e->right.sym == &symbol_no) {  in expr_trans_bool()
379 			return expr_alloc_comp(E_UNEQUAL, sym1, &symbol_no);  in expr_join_or()
382 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_or()
383 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes))) {  in expr_join_or()
388 		    ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_or()
389 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod))) {  in expr_join_or()
444 	if ((e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_no) ||  in expr_join_and()
445 	    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_no))  in expr_join_and()
460 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
467 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
470 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_and()
471 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes)))  in expr_join_and()
479 			return expr_alloc_comp(E_EQUAL, sym1, &symbol_no);  in expr_join_and()
482 			   ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_and()
483 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod)))  in expr_join_and()
535 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups1()
583 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups2()
657 		if (e->right.sym == &symbol_no) {  in expr_transform()
666 			e->left.sym = &symbol_no;  in expr_transform()
679 		if (e->right.sym == &symbol_no) {  in expr_transform()
741 				e->left.sym = &symbol_no;  in expr_transform()
753 			if (e->left.expr->left.sym == &symbol_no) {  in expr_transform()
816 			if (dep->right.sym == &symbol_no)  in expr_depends_symbol()
869 			e1 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
870 			e2 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
893 		if (sym == &symbol_no)  in expr_trans_compare()
903 		if (sym == &symbol_no)  in expr_trans_compare()
916 				return expr_alloc_symbol(&symbol_no);  in expr_trans_compare()
917 			if (sym == &symbol_no)  in expr_trans_compare()
924 			if (sym == &symbol_no)  in expr_trans_compare()