next-states complete for hw3.lsp