if txn.get_touched_files(pos, Some(&p.a))?.is_some() {

            let touched = txn.get_touched_files(pos, Some(&p.a))?;
            if touched == Some(&p.a) {