When writing debug HTML, don't crash on procs with empty bodies.
When writing debug HTML, don't crash on procs with empty bodies.

Reviewed By: ddino

Differential Revision: D15512985

fbshipit-source-id: 2371486b8

jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer