handle_comparison
handle_comparison(expr->left, expr->op, expr->right, &state_name, &false_state);
handle_comparison(new_left, expr->op, new_right, NULL, NULL);
handle_comparison(new_left, expr->op, new_right, NULL, NULL);
handle_comparison(left, expr->op, right, NULL, NULL);
handle_comparison(expr->left, expr->op, expr->right);
handle_comparison(expr->right, flip_comparison(expr->op), expr->left);
handle_comparison(type, left, expr->op, right);
handle_comparison(type, left, expr->op, right);
handle_comparison(type, left, expr->op, right);
handle_comparison(type, left, expr->op, right);
handle_comparison(type, left, expr->op, right);
handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr());
return handle_comparison(expr, implied_true, implied_false);