val convert_nobj: NCic.obj -> Cic.obj