[debug] deterministically order procedures when printing
[debug] deterministically order procedures when printing

Summary: So that it can be meaningfully used for diffing across infer versions, say.

Reviewed By: martintrojer

Differential Revision: D23648560

fbshipit-source-id: 98d634e37

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