Remove the FunctionFormulaManager.isUninterpretedFunctionCall() method.
The packages for 3 out of 4 existing SMT solvers
implemented this method incorrectly.
Luckily nobody ever used it...
And nobody should use it in the future, too,
as code should not rely on low-level details
such as the syntactic formula structure,
but work on an higher level of abstraction
for the obvious benefits
(maintainability, reusability, etc.).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13721 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c