Testing and fixing Intervals.h