Real world case studies

Can we compare abstract syntax trees to verify refactor correctness?

Prompt

In the next section, we'll leave the cosy embrace of these toy examples and venture off to the real world with some case studies.

The rest is still unwritten...