Deeper traversal via assert