Uninitialized variables: improved checking of loops