This program includes a pair of ( ) that would already be implied by the tree structure and operator precedence, and thus would also not be stored. But, critically, they also would not be re-generated when the tree was reconstituted. Why? Because it's impossible to know from the tree alone if the ( ) was really there, or just implied. And code generation takes the conservative path and doesn't mak