linearize_expression_to_bool
src1 = linearize_expression_to_bool(ep, expr->left);
src2 = linearize_expression_to_bool(ep, expr->right);
src2 = linearize_expression_to_bool(ep, expr->right);
cond = linearize_expression_to_bool(ep, expr);