Removed the references for counting combinators. Instead they are counted in actual clauses.
Removed the references for counting combinators. Instead they are counted in actual clauses.

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