Enable counterexample checks with the value analysis (which is bit-precise)
for the default configuration of predicate analysis and BMC.
This helps to reduce the number of false alarms,
and has very little overhead (5% in our benchmarks).

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