Description: Equality deduction for indexed union, deduction version. (Contributed by Drahflow, 22-Oct-2015) Remove DV conditions (Revised by GG, 1-Sep-2025)