Added preliminary support for restriction where sections with given labels cannot overlap