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>>