Refactoring for VariableTrackingPrecision, before the options were only useful for the ValueAnalysisCPA, now the BDDCPA is also able to use this precision. During this Refactoring a new configuration option was introduced that lets the VariableTrackingPrecision track all other variables besides IntAdd IntEq and Boolean ones.

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