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