modified goal state, added instance variables, and partially implemented getSuccessors