Tree Schemata and Fair Termination