* better interface for flatten assert