Add a fourth parameter to PrecisionAdjustment operator
that gives access to the abstract states of other CPAs.
This can be used for example to access the current location
from within any CPA.

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