produce more potential counterexamples for subset operator (cf. quantifiers)
produce more potential counterexamples for subset operator (cf. quantifiers)

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