Slicing for modern program structures: a theory for eliminating irrelevant loops