improved method to find reachable set; add support for random env action to execNextState; corrected bug in removeNode method.
improved method to find reachable set; add support for random env action to execNextState; corrected bug in removeNode method.

slivingston/btsynth,slivingston/btsynth