149 	    (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no))  in __expr_eliminate_eq()
157 		e1 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
158 		e2 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
245 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
249 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
261 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
265 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
281 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
297 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
336 			if (e->right.sym == &symbol_no) {  in expr_trans_bool()
384 			return expr_alloc_comp(E_UNEQUAL, sym1, &symbol_no);  in expr_join_or()
387 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_or()
388 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes))) {  in expr_join_or()
393 		    ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_or()
394 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod))) {  in expr_join_or()
449 	if ((e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_no) ||  in expr_join_and()
450 	    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_no))  in expr_join_and()
465 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
472 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
475 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_and()
476 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes)))  in expr_join_and()
484 			return expr_alloc_comp(E_EQUAL, sym1, &symbol_no);  in expr_join_and()
487 			   ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_and()
488 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod)))  in expr_join_and()
540 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups1()
588 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups2()
662 		if (e->right.sym == &symbol_no) {  in expr_transform()
671 			e->left.sym = &symbol_no;  in expr_transform()
684 		if (e->right.sym == &symbol_no) {  in expr_transform()
746 				e->left.sym = &symbol_no;  in expr_transform()
758 			if (e->left.expr->left.sym == &symbol_no) {  in expr_transform()
821 			if (dep->right.sym == &symbol_no)  in expr_depends_symbol()
874 			e1 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
875 			e2 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
898 		if (sym == &symbol_no)  in expr_trans_compare()
908 		if (sym == &symbol_no)  in expr_trans_compare()
921 				return expr_alloc_symbol(&symbol_no);  in expr_trans_compare()
922 			if (sym == &symbol_no)  in expr_trans_compare()
929 			if (sym == &symbol_no)  in expr_trans_compare()