Ken'ichiro Takahashi (Takaken) has published a special version of his solver which displays the next goal the solver has selected for trying pushing a box to.
This version is interesting for solver developers since it's possible to see how the solver selects goal after goal.
Note:
The new version only supports Japanese texts. To see the Japanese texts you can use a language emulator like Locale Emulator.
On his website you find a description and example screenshots of this feature and also the exe-file of this special solver version.
This is a sceenshot of how it looks when the solver has highlighted some of the goals as "next goals to push a box to":
