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