100644 blob e5d3dfe2bd4706882a2bd8afe404d514d5b0615a	AbstractTraversalStrategy.cs
040000 tree 754adb1544010f61a65a375cbc6ec7b59aea9ce7	Decoration
040000 tree 6feec96e880b728e1b3920380f857f9b8c1f7fc4	Finalization
040000 tree 9094f79ef64fd390cf5207e046f3bbcbefe8fcd8	Optimization
040000 tree 03d7ddcee95d40240089c9d37d2338d4aa036896	Verification