Add some debugging output to the AST reader, so we can see the global remappings we generate