This pull request adds functionality to handle temporary variables in spec blocks, including collecting and cleaning up unused temporaries. It also introduces a new test case for a specific bug.

Left no comments. Looks good to me!