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