If you set symmetrical=True an s1 should have s2 as next state, s2.next_states.all() would return also s1, I guess. But that is not what I want. If you want to set s1 as next state of s2, you have to do it manually.