pub fn choose_term<'a, R: Rand, PT: ProtocolTypes>(
trace: &'a Trace<PT>,
constraints: TermConstraints,
rand: &mut R,
) -> Option<&'a Term<PT>>
pub fn choose_term<'a, R: Rand, PT: ProtocolTypes>(
trace: &'a Trace<PT>,
constraints: TermConstraints,
rand: &mut R,
) -> Option<&'a Term<PT>>