If the body of with statement contains nested procedures, these procedures shall be allowed to access the with context via implicit qualification even though this context is nonlocal.