Fix a bug where dynamic objects' dependency across function call is not recognized [depends-on: #2646]#2694

zhixing-xu wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

zhixing-xu:fix_dynamic_object_rdzhixing-xu/cbmc:fix_dynamic_object_rdCopy head branch name to clipboard