Change invariant to compute differential of reports
Change invariant to compute differential of reports

Reviewed By: jeremydubreil

Differential Revision: D5031092

fbshipit-source-id: f762179

blzq/infer,jvillard/infer,jvillard/infer,ropas/infer,facebook/infer,blzq/infer,ropas/infer,facebook/infer,ropas/infer,facebook/infer,ropas/infer,facebook/infer,jvillard/infer,ropas/infer,blzq/infer,blzq/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,blzq/infer,jvillard/infer,blzq/infer,ropas/infer,facebook/infer