Remove Interval from Krawczyk definition so that it works again (led to an infinite promotion loop)