run token removal passes in reverse order of number of tokens
apply Markus's suggested patch to stop C-Reduce when size of reduced testcase
reaches zero