150 	    (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no))  in __expr_eliminate_eq()
162 		e1 = expr_alloc_symbol(&symbol_yes);  in __expr_eliminate_eq()
163 		e2 = expr_alloc_symbol(&symbol_yes);  in __expr_eliminate_eq()
253 			} else if (e->left.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
269 			} else if (e->right.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
288 			} else if (e->left.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
292 				e->left.sym = &symbol_yes;  in expr_eliminate_yn()
304 			} else if (e->right.expr->left.sym == &symbol_yes) {  in expr_eliminate_yn()
308 				e->left.sym = &symbol_yes;  in expr_eliminate_yn()
382 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_mod) ||  in expr_join_or()
383 		     (e1->right.sym == &symbol_mod && e2->right.sym == &symbol_yes))) {  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()
397 			return expr_alloc_comp(E_UNEQUAL, sym1, &symbol_yes);  in expr_join_or()
403 			return expr_alloc_symbol(&symbol_yes);  in expr_join_or()
445 	if ((e1->type == E_SYMBOL && e2->type == E_EQUAL && e2->right.sym == &symbol_yes) ||  in expr_join_and()
446 	    (e2->type == E_SYMBOL && e1->type == E_EQUAL && e1->right.sym == &symbol_yes))  in expr_join_and()
448 		return expr_alloc_comp(E_EQUAL, sym1, &symbol_yes);  in expr_join_and()
458 		return expr_alloc_comp(E_EQUAL, sym1, &symbol_yes);  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()
482 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_mod) ||  in expr_join_and()
483 			    (e1->right.sym == &symbol_mod && e2->right.sym == &symbol_yes)))  in expr_join_and()
491 			return expr_alloc_comp(E_EQUAL, sym1, &symbol_yes);  in expr_join_and()
495 		    (e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_yes) ||  in expr_join_and()
496 		    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_yes))  in expr_join_and()
550 			e1 = expr_alloc_symbol(&symbol_yes);  in expr_eliminate_dups1()
604 			e1 = expr_alloc_symbol(&symbol_yes);  in expr_eliminate_dups2()
676 		if (e->right.sym == &symbol_yes) {  in expr_transform()
693 			e->left.sym = &symbol_yes;  in expr_transform()
697 		if (e->right.sym == &symbol_yes) {  in expr_transform()
741 			if (e->left.expr->left.sym == &symbol_yes) {  in expr_transform()
765 				e->left.sym = &symbol_yes;  in expr_transform()
816 			if (dep->right.sym == &symbol_yes || dep->right.sym == &symbol_mod)  in expr_depends_symbol()
872 			e1 = expr_alloc_symbol(&symbol_yes);  in expr_extract_eq()
873 			e2 = expr_alloc_symbol(&symbol_yes);  in expr_extract_eq()
897 		if (sym == &symbol_yes)  in expr_trans_compare()
907 		if (sym == &symbol_yes)  in expr_trans_compare()
919 			if (sym == &symbol_yes)  in expr_trans_compare()
926 			if (sym == &symbol_yes)  in expr_trans_compare()
929 				return expr_alloc_symbol(&symbol_yes);  in expr_trans_compare()