Tree structure of a formula