less code generated, discriminator_a_ is not required anywhere