Reasons for exclusion corrected

The reasons that were printed accidentally all claimed a "higher-than"
reason. This was fixed to show higher- or lower-bound violations.