Added synthesized/inherited notation to tree attributes in #1