156 		e1 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
157 		e2 = expr_alloc_symbol(&symbol_no);  in __expr_eliminate_eq()
244 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
248 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
260 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
264 				e->left.sym = &symbol_no;  in expr_eliminate_yn()
280 			if (e->left.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
296 			if (e->right.expr->left.sym == &symbol_no) {  in expr_eliminate_yn()
335 			if (e->right.sym == &symbol_no) {  in expr_trans_bool()
383 			return expr_alloc_comp(E_UNEQUAL, sym1, &symbol_no);  in expr_join_or()
386 		    ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_or()
387 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes))) {  in expr_join_or()
392 		    ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_or()
393 		     (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod))) {  in expr_join_or()
448 	if ((e1->type == E_SYMBOL && e2->type == E_UNEQUAL && e2->right.sym == &symbol_no) ||  in expr_join_and()
449 	    (e2->type == E_SYMBOL && e1->type == E_UNEQUAL && e1->right.sym == &symbol_no))  in expr_join_and()
464 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
471 							     : expr_alloc_symbol(&symbol_no);  in expr_join_and()
474 			   ((e1->right.sym == &symbol_yes && e2->right.sym == &symbol_no) ||  in expr_join_and()
475 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_yes)))  in expr_join_and()
483 			return expr_alloc_comp(E_EQUAL, sym1, &symbol_no);  in expr_join_and()
486 			   ((e1->right.sym == &symbol_mod && e2->right.sym == &symbol_no) ||  in expr_join_and()
487 			    (e1->right.sym == &symbol_no && e2->right.sym == &symbol_mod)))  in expr_join_and()
539 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups1()
587 			e1 = expr_alloc_symbol(&symbol_no);  in expr_eliminate_dups2()
661 		if (e->right.sym == &symbol_no) {  in expr_transform()
670 			e->left.sym = &symbol_no;  in expr_transform()
683 		if (e->right.sym == &symbol_no) {  in expr_transform()
745 				e->left.sym = &symbol_no;  in expr_transform()
757 			if (e->left.expr->left.sym == &symbol_no) {  in expr_transform()
820 			if (dep->right.sym == &symbol_no)  in expr_depends_symbol()
873 			e1 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
874 			e2 = expr_alloc_symbol(&symbol_no);  in expr_extract_eq()
897 		if (sym == &symbol_no)  in expr_trans_compare()
907 		if (sym == &symbol_no)  in expr_trans_compare()
920 				return expr_alloc_symbol(&symbol_no);  in expr_trans_compare()
921 			if (sym == &symbol_no)  in expr_trans_compare()
928 			if (sym == &symbol_no)  in expr_trans_compare()