[LIR] Start leveraging the fundamental guarantees of a loop in