You can apply (-1, 0) to a solved sq1, it always appears in getSuccessors() whatever the state is, but not necessarily in getScrambleSuccessors(). Here, I'm always dealing with getSuccessors().