Move "Abnormal program termination" to its own slice

That was the very first function reduced, before I came up with the data slice
model in 59688e23fc5ff0d252b92c2ef40e486098dd3eac.
[Reduction] #533-536: fopen

More flags and constants, despite reminding me why exactly I haven't done this
all along.