Don't promote assertions across closures and alternations