Trying to describe the problem 4 in sokoban domain