pub fn to_domain<F: FieldWitness>( which_branch: &[Boolean], all_possible_domains: &[Domain], ) -> PseudoDomain<F>