refine AST document