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