Cleanup
Report the total number of SC reductions instead
Finish primitive operation `negate`