pub fn choose_term_path<R: Rand, PT: ProtocolTypes>(
trace: &Trace<PT>,
constraints: TermConstraints,
rand: &mut R,
) -> Option<TracePath>
pub fn choose_term_path<R: Rand, PT: ProtocolTypes>(
trace: &Trace<PT>,
constraints: TermConstraints,
rand: &mut R,
) -> Option<TracePath>