Fixed astree to dump correctly in order to match the display in the program spec