100644 blob 23ce01babe503fa082a5cab429910ce18f26b20e	AbstractTraversalStrategy.java
100644 blob f248dc69c519039f6d88d2f4606eba0a3e248fba	TraversalStrategyProxy.java
040000 tree e5ec3c315efd538606f5c08f77edad0fdf837230	decoration
040000 tree 5aa9a64c8a77061ae1cf49cb60e9d80fd8a83263	finalization
040000 tree 2573f2b33e2ec3fe7d886f7db55d8da62fbdec9f	optimization
040000 tree 105a56d570c429834569681f9b797b0bd85a92f0	verification