Possibly due an oversight the structs in `src/prover/structs.rs` are unused.
Possibly due an oversight the structs in
src/prover/structs.rsare unused.