[sledge] Simplify ¬¬e to e
[sledge] Simplify ¬¬e to e

Reviewed By: bennostein

Differential Revision: D17725617

fbshipit-source-id: 7467fad3e

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