Assert type consistency in the simplifier#2064

Merged

tautschnig merged 3 commits intodiffblue:developfrom

tautschnig:pointer-overflow-check

Mar 7, 2019

Commits on Mar 7, 2019

Note type inconsistencies in solver axioms and avoid simplifying
tautschnig
committed
Expression simplification must not alter the type
tautschnig
committed
Simplifier: As we now assert type equality we can remove a safety net
tautschnig
committed