/home/wangyang/cool/src/PA3/cool-tree.aps