Add dead loop elimination, which removes dead loops for which we can compute