pub fn witness_map_to_frs( witness: &WitnessMap<FieldElement>, return_witnesses: &BTreeSet<Witness>, ) -> Vec<Fr>
Extract ordered field values from a witness map for the given return witnesses.