Fully working restriction when sections with given labels cannot overlap.