Delete simple_interval.h