format now prints type expressions and the values of named sub-ireps#2153

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

elaborate-format_exprdiffblue/cbmc:elaborate-format_exprCopy head branch name to clipboard