2 ms·So the compiler can merge two computation loops without proving termination.by mitxela 1mo agoSo the compiler can merge two computation loops without proving termination.