Add cvc parsing support for cardinality constraints.  Bug fix for enumerating elements to meet cardinality lower bounds.