fix bug in domain, that wumpus can move