Avoid lots of constraints in the SMT formulas
about the address of variables that never have their address taken.
These constraints are only necessary in a specific use case.
We previously added them always because it seemed to increase
performance, but this can no longer be reproduced.
Furthermore, these constraints make the formulas more complex,
hinder debugging and add irrelevant information to produced
counterexamples.

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