Made DumpReader "closeable"
Fixed bugs which were related to synthetic elements in the TicksAnalyzer phase and the TreeBuilder phase, also implementing suppressed WtRtData support
Additional information printed to AST by WtIm*Tag.java