Bugfix for VariableTrackingPrecision,  isInIgnoredVarClass() was not implemented correctly. Addressed variables do not have to be different from other variable classes, instead they may have an additional other class, this is now regarded in the code.

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