When using CPAchecker as a counterexample checker,
force the options for the machine model and the pointer aliasing of
PredicateCPA to have the same value as in the main analysis
(otherwise, a counterexample check would for example assume a 32bit
machine model for a 64bit program).

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