add folded union cardinality helper