Questions about dynamic analysis

Hello, I want to learn how DIE performs dynamic analysis. However, the type file (.t) generated by calling typer.py is very different from the type file in the seed library. More precisely, the generated type files are similar to .raw files. So, what went wrong in this process? How to infer the type from the bottom up at the AST level?

Hope that can be answered. thank you very much.