Currently, we have
node_expand(N,NL) :- stn(N,NL).
which worked fine when nodes looked like states, since
stn(bs,[gp,oc]). stn(gp,[bs,cc,pc]).
etc.
Now we must modify node_expand so that it produces a list of nodes in the new format.
