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