[pudge] try harder to prove false
[pudge] try harder to prove false

Summary: This gives more precision in tests.

Reviewed By: jberdine

Differential Revision: D21332072

fbshipit-source-id: df20daff3

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