Additional failing tests for more complex structures
First attempt to fix AT-insufficient-for-level problem