pub unsafe fn find_ec_member_matching_expr(
    arg_ec: *mut EquivalenceClass,
    arg_expr: *mut Expr,
    arg_relids: Relids
) -> *mut EquivalenceMember