[pulse][isl] enable to check invalid for er specs in interprocedural analysis
[pulse][isl] enable to check invalid for er specs in interprocedural analysis

Reviewed By: skcho

Differential Revision: D27587955

fbshipit-source-id: 652f66435

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