isr now working: degenerate segments are not inserted anymore