Add discriminator assertion