[analyzer; alternate arrows] provide a diagnostic for entering a loop for the first time.