Dynamic frames: do not add trivial properties#8413

tautschnig merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:dfcc-no-unnecessary-checktautschnig/cbmc:dfcc-no-unnecessary-checkCopy head branch name to clipboard