Graphical State Space Tree