When the user hits ctrl-c, bugpoint should attempt to stop reduction as