Make Interval Bound Propagation great again