pub fn witness_to_value<F>(
initial_witness: &WitnessMap<F>,
witness: Witness,
) -> Result<&F, OpcodeResolutionError<F>>
pub fn witness_to_value<F>(
initial_witness: &WitnessMap<F>,
witness: Witness,
) -> Result<&F, OpcodeResolutionError<F>>