Create sokoban-domain.pddl