149 	    (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no))  in __expr_eliminate_eq()
161 		e1 = expr_alloc_symbol(&symbol_yes);  in __expr_eliminate_eq()
162 		e2 = expr_alloc_symbol(&symbol_yes);  in __expr_eliminate_eq()
252 			} else if (e->left.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
268 			} else if (e->right.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
287 			} else if (e->left.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
291 				e->left.sym = &symbol_yes;  in expr_eliminate_yn()
303 			} else if (e->right.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
307 				e->left.sym = &symbol_yes;  in expr_eliminate_yn()
381 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_mod) ||  in expr_join_or()
382 		     (e1->right.sym == &symbol_mod && e2->right.sym == &symbol_yes))) {  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()
396 			return expr_alloc_comp(E_UNEQUAL, sym1, &symbol_yes);  in expr_join_or()
402 			return expr_alloc_symbol(&symbol_yes);  in expr_join_or()
444 	if ((e1->type == E_SYMBOL && e2->type == E_EQUAL && e2->right.sym == &symbol_yes) ||  in expr_join_and()
445 	    (e2->type == E_SYMBOL && e1->type == E_EQUAL && e1->right.sym == &symbol_yes))  in expr_join_and()
447 		return expr_alloc_comp(E_EQUAL, sym1, &symbol_yes);  in expr_join_and()
457 		return expr_alloc_comp(E_EQUAL, sym1, &symbol_yes);  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()
481 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_mod) ||  in expr_join_and()
482 			    (e1->right.sym == &symbol_mod && e2->right.sym == &symbol_yes)))  in expr_join_and()
490 			return expr_alloc_comp(E_EQUAL, sym1, &symbol_yes);  in expr_join_and()
494 		    (e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_yes) ||  in expr_join_and()
495 		    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_yes))  in expr_join_and()
549 			e1 = expr_alloc_symbol(&symbol_yes);  in expr_eliminate_dups1()
603 			e1 = expr_alloc_symbol(&symbol_yes);  in expr_eliminate_dups2()
675 		if (e->right.sym == &symbol_yes) {  in expr_transform()
692 			e->left.sym = &symbol_yes;  in expr_transform()
696 		if (e->right.sym == &symbol_yes) {  in expr_transform()
740 			if (e->left.expr->left.sym == &symbol_yes) {  in expr_transform()
764 				e->left.sym = &symbol_yes;  in expr_transform()
815 			if (dep->right.sym == &symbol_yes || dep->right.sym == &symbol_mod)  in expr_depends_symbol()
871 			e1 = expr_alloc_symbol(&symbol_yes);  in expr_extract_eq()
872 			e2 = expr_alloc_symbol(&symbol_yes);  in expr_extract_eq()
896 		if (sym == &symbol_yes)  in expr_trans_compare()
906 		if (sym == &symbol_yes)  in expr_trans_compare()
918 			if (sym == &symbol_yes)  in expr_trans_compare()
925 			if (sym == &symbol_yes)  in expr_trans_compare()
928 				return expr_alloc_symbol(&symbol_yes);  in expr_trans_compare()