> It's better that you use LT 4.1 because many bugs have been fixedhere, although not including the bug you mentioned.
When I sent a 4 move / 0 shot solution for Sokoban-I 1243 to Donald in
December, he said that the solution did not work in the 4.0.8 version.
So the bug must have been fixed in 4.0.7 or 4.0.8.