pub fn find_term_mut<'a, M: Matcher>( trace: &'a mut Trace<M>, trace_path: &TracePath) -> Option<&'a mut Term<M>>