Actually, that got me thinking. What happens with this code:
```python
with m.If(...):
    m.submodules.foo += ...
```