manual merge from branch 'bamRecursion' into trunk, adding new method 'rebuildAfterFunctionCall' to interface 'Reducer', adding implementations for some CPAs. Currently the method is never called, but more related code is coming soon.

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