reject transformations where newly created temps are unused
This helps preventing mistakes in specs, and disallows the introduction of dead expressions (not interesting).