Interval simulation for generalizing counterexamples, based on work by John Backes