Better void type check when printing return values at exceptional exits.
Better void type check when printing return values at exceptional exits.

codespecs/daikon-dot-net-front-end,codespecs/daikon-dot-net-front-end,codespecs/daikon-dot-net-front-end,codespecs/daikon-dot-net-front-end