extract assoc graph from Hanser's algorithm, and common specific spec tree vertices