let t = refresh_uri_in_term t in
let s = refresh_uri_in_term s in
let d = refresh_uri_in_term d in
basic_index_ncoercion (name,t,s,d,p,a)
in
let t = refresh_uri_in_term t in
let s = refresh_uri_in_term s in
let d = refresh_uri_in_term d in
basic_index_ncoercion (name,t,s,d,p,a)
in