refactored resolution of union discriminator to mr_ic_t