Give a slightly different definition of isProductionOf.

I’m happier with this version since it is more obviously correct.