Additional forward propagation to aid code contracts#7737

Draft

tautschnig wants to merge 4 commits intodiffblue:developfrom

tautschnig:feature/constant-propagate-for-contracts

Commits on May 25, 2023

Change is_constantt logic to enumerate not-constant expressions
tautschnig
committed

Commits on May 26, 2023

goto-symex can safely propagate with_exprt
tautschnig
committed
Simplify typecast of pointer_offset and pointer_object expressions

tautschnig
and
Remi Delmas
committed

Commits on May 29, 2023

WIP: constant propagate if over pointers

tautschnig
and
Remi Delmas
committed