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