Transform tree to a more restrictive representation

[freddie-freeloader]

• Our initial (parsed) representation might be more permissive than the representation that corresponds to our output representation
• Add either a reference where this is described or write a small paragraph on it