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