cxt-fresh-update-preserves-capmap2perm
cxt-remove-unique-preserves-set2cond