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