Uninitialized variables: Add experimental checking of struct members