Changed perspective from syntax tree to lts