| TacticAst.Record (_,name,_,_) ->
Some (UriManager.uri_of_string (MatitaMisc.qualify status name ^ ".ind"))
| TacticAst.Inductive _ -> assert false
| TacticAst.Record (_,name,_,_) ->
Some (UriManager.uri_of_string (MatitaMisc.qualify status name ^ ".ind"))
| TacticAst.Inductive _ -> assert false