> ```
> with m.If(am.C(0)):
>     m.d.sync += self.count.eq(0)
> with m.Elif(am.C(1)):
>     m.d.sync += self.count.eq(self.count + 1)
> ```
> 
> In testing, I find that self.count is always equal to 0 and the self.count +=1 never runs. Can you explain?