Small fix for Z3. Using the declaration of app-term instead of the app-term itself avoids a few crashes with Z3.

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