+ | NCic.Match (NReference.Ref (uri,spec),outtype,term,pl) ->
+ let r = NReference.reference_of_spec (refresh_uri uri) spec in
+ let outtype = refresh_uri_in_term outtype in
+ let term = refresh_uri_in_term term in
+ let pl = List.map refresh_uri_in_term pl in
+ NCic.Match (r,outtype,term,pl)