[sledge] Remove false formula
[sledge] Remove false formula

Summary: It is redundant with `Not Tt`

Reviewed By: jvillard

Differential Revision: D24306073

fbshipit-source-id: e75798898

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