Element 'Pantelides algorithm'