Function union_value_eq 

pub fn union_value_eq(
    contract: &Contract,
    lhs_union_expr: ExprKey,
    lhs_variant_ty: &Type,
    rhs_union_expr: ExprKey,
    rhs_variant_ty: &Type,
) -> bool