productions can now be applied with singlepushout