RelationProperties.runiq_conv_imp_singleton_preimage and SetUtils.Collect_uniq_prop_singleton: some material that may be useful for proving nVCG payments ≥ 0