pub fn parse_check_gen<S: SourceRead>(
    path: &Path,
    tconfig: &TraceConfig,
    reader: &S,
    debug_info: bool
) -> Result<Bytecode, ErrorList>