def attach( self, s1: state.State, s2: state.State, sr: state.StateRegister ): s1.matchValue(self.v, s2)
def attach(self, s1: state.State, s2: state.State, sr: state.StateRegister): s1.matchValue(self.v, s2)