pub fn get_symbolic_builder<F, R>(
rap: &R,
width: &TraceWidth,
num_challenges_to_sample: &[usize],
num_exposed_values_after_challenge: &[usize],
rap_phase_seq_kind: RapPhaseSeqKind,
interaction_chunk_size: usize,
) -> SymbolicRapBuilder<F>