Modal nesting tests