SimplificationVisitor: handling of SIZEOF is done without looking at the operand.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8874 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Adding second type into CBinaryExpression. This second type is the calculation-type, to which the operands should be casted before the calculation. After the calculation the result should be casted to the expression-type.

Nearly all CBinaryExpressions are build with the CBinaryExpressionBuilder now, that should produce the correct type for each expression.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8875 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix stupid bug in stats output

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8876 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merge branch 'master' into c-to-formula-with-UF-to-master