I assume that if I do
```
with m.If(am.C(1) | some_complex_expression):
   m.d.sync += other_thing
```
the compiler will do the intelligent thing?