Initial state: Pos(outside),Close(outside,door),Close(inside,door),Close(door,outside),Close(door,inside)
Goal state:    Pos(inside)

Actions:
               // move from X to Y
              