def attach( self, s1: state.State, s2: state.State, sr: state.StateRegister ): s1.matchIndice(self.idx, s2)
def attach(self, s1: state.State, s2: state.State, sr: state.StateRegister): s1.matchIndice(self.idx, s2)