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.
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":