Counterexample: resolve pointer deference in struct expressions.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12906 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Erased unnecessary TODO.

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

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12909 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Deleted unnecessary TODO.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12910 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Fixed a bug(forgot negation) and deleted unnecessary if
branch.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12911 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Improve handling of amper.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12912 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Changed some TODOs

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

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12915 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Changed how symbolic addresses of declarations are
displayed.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12916 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Improved resolving arrays.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12918 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Arrays and structs are represented as addresses.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12919 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Fixed wrong function name.

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

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12922 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: Never forget to make maps immutable.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12924 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample: rename static constructor method.

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