is_var_simple_const_comparison 3643 src/Simplify.cpp         } else if (is_var_simple_const_comparison(b, &name_c) &&
is_var_simple_const_comparison 3645 src/Simplify.cpp                    ((is_var_simple_const_comparison(and_a->a, &name_a) && name_a == name_c) ||
is_var_simple_const_comparison 3646 src/Simplify.cpp                    (is_var_simple_const_comparison(and_a->b, &name_b) && name_b == name_c))) {
is_var_simple_const_comparison 3652 src/Simplify.cpp         } else if (is_var_simple_const_comparison(a, &name_c) &&
is_var_simple_const_comparison 3654 src/Simplify.cpp                    ((is_var_simple_const_comparison(and_b->a, &name_a) && name_a == name_c) ||
is_var_simple_const_comparison 3655 src/Simplify.cpp                    (is_var_simple_const_comparison(and_b->b, &name_b) && name_b == name_c))) {