Shrunk useless loops