val fresh_var : string -> string val transform : (Ast.node -> Ast.node) -> Ast.node -> Ast.node