Klammerhammer: count symbol occurences in declerations signatures. #6
Description
Currently we don't count the occurrences in the type signatures of declare-fun and declare-const.
However, this means that sort symbols (Int, BitVec) are under-counted.