The added function reducer invokes spirv-reduce, and counts the number of times spirv-reduce invokes its interestingness function, deeming this to be the number of reduction attempts that spirv-reduce makes. This number is then added on to the shrinker's number of shrink attempts, and we assert that this does not exceed the shrinker step limit. However, it can exceed the shrinker step limit at present because spirv-reduce makes a special call to the interestingness function at the start of reduction. This special call should not be counted.