* ```python
with m.If(signals_valid):
    with m.FSM():
        ...
```