cleanup sokoban, better laziness example