JavaScript embeds sourcemaps with magic comments like //# sourceMappingURL=/path/file.js.map. BinAST files will also need metadata like this.
BinAST may also need to amend the sourcemap format, because BinAST files do not have line and column numbers or, for that matter, even character-aligned data.