Removed the dynamic_object_exprt's instance()#716

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mariusmc92:cleanup/type-safe-dynamic-objectmariusmc92/cbmc:cleanup/type-safe-dynamic-objectCopy head branch name to clipboard