complete recoding of ASTVisualizer, yielding traceability of the source