file: "src/ByteCode.ag"
options: data, rename, strictdata, genlinepragmas

file: "src/PrettyCode.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/PrettyTree.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/TrfInjectAbc.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/ExtractAbc.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/Language.ag"
options: data, rename, genlinepragmas

file: "src/SymbolTables.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/CFG.ag"
options: data, rename, strictdata, genlinepragmas

file: "src/TrfToCFG.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/InstrSize.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/InstrLocFilter.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/SymView.ag"
options: data, rename, strictdata, genlinepragmas

file: "src/GenInstrLib.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/TrfInjectRefl.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas