fn find_term_by_term_path_mut<'a, M: Matcher>( term: &'a mut Term<M>, term_path: &mut TermPath) -> Option<&'a mut Term<M>>