Restore intraprocedural mode for Eradicate and Checkers
Restore intraprocedural mode for Eradicate and Checkers

Reviewed By: jeremydubreil

Differential Revision: D2906910

fb-gh-sync-id: 62bf4c1

blzq/infer,ropas/infer,kstreee/infer,xennygrimmato/infer,jsachs/infer,blzq/infer,ryoon/infer,ropas/infer,jvillard/infer,facebook/infer,ryoon/infer,kstreee/infer,ryoon/infer,ryoon/infer,ryoon/infer,blzq/infer,xennygrimmato/infer,jvillard/infer,kstreee/infer,blzq/infer,ryoon/infer,facebook/infer,kageiit/infer,kageiit/infer,jvillard/infer,ropas/infer,xennygrimmato/infer,kageiit/infer,xennygrimmato/infer,jvillard/infer,xennygrimmato/infer,jsachs/infer,xennygrimmato/infer,xennygrimmato/infer,facebook/infer,kageiit/infer,jsachs/infer,kageiit/infer,facebook/infer,ropas/infer,ropas/infer,kstreee/infer,kstreee/infer,facebook/infer,jvillard/infer,facebook/infer,jsachs/infer,blzq/infer,ropas/infer,jvillard/infer,jsachs/infer,kstreee/infer,blzq/infer,facebook/infer,kageiit/infer,jvillard/infer,jsachs/infer,kageiit/infer