Print the tree of symbols (i.e. definite parents) at high verbosity levels.