Symex: don't phi-merge Java dynamic objects with uninitialised data#2121

smowton wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/symex-dont-merge-uninitialised-objectssmowton/cbmc:smowton/symex-dont-merge-uninitialised-objectsCopy head branch name to clipboard