[sledge] Optimize conjoining fresh equalities
[sledge] Optimize conjoining fresh equalities

Reviewed By: jvillard

Differential Revision: D21177358

fbshipit-source-id: 172f0974a

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