CDITCK-366: Use non-trivial nested types for testing 3.3.ha and 3.3.iab