Removed Z3-functions from cardinality constraints.