verify module nesting