if "total_consts" is set, report cex's as quasi-genuine
if "total_consts" is set, report cex's as quasi-genuine

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