[sledge] Strengthen Sh invariant to preclude singleton disjunctions
[sledge] Strengthen Sh invariant to preclude singleton disjunctions

Reviewed By: ngorogiannis

Differential Revision: D31283440

fbshipit-source-id: 74465d9ea

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