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