Better syntax tree printing