if only finite types and no real datatypes occur in the quantifiers only enumerate cardinality not size in quickcheck
if only finite types and no real datatypes occur in the quantifiers only enumerate cardinality not size in quickcheck

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle