``` 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?