Klammerhammer: count symbol occurences in declerations signatures.

[hansjoergschurr]

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.