Fix non-dependency bug in interval generalization