changed clsmap-cxt-unique-objset to cxt-unique-objset, and proved
cxt-unique-objset/U-inversion