[infer][nullable] no longer fail hard when the nullable suggestion checker cannot compute the post of a procedure
[infer][nullable] no longer fail hard when the nullable suggestion checker cannot compute the post of a procedure

Reviewed By: mbouaziz

Differential Revision: D6218804

fbshipit-source-id: 49efcba

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