Logic.mk_conjunction_list; PRECISE_CONJUNCTS: two levels;
Logic.mk_conjunction_list;
PRECISE_CONJUNCTS: two levels;

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