Allows NFE to check if `yields` are correctly places in projections. Post `Module+CheckYieldCoherence.swift` to NFE.