[sledge] Filter out inconsistent disjuncts when transforming Sh
[sledge] Filter out inconsistent disjuncts when transforming Sh

Summary:
When a symbolic heap formula is transformed with Sh.map, disjuncts can
become inconsistent. This diff filters these out, perhaps leading to
further simplification e.g. if there is only one disjunct left in a
disjunction.

Reviewed By: ngorogiannis

Differential Revision: D31283437

fbshipit-source-id: 10af22fc0

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