Update STRIPS_planner.lsp.txt