fix cardinality constrain generators