[thread-safety] convert Prune logic to HIL
[thread-safety] convert Prune logic to HIL

Summary: Gradually converting the thread-safety checker to use HIL

Reviewed By: jberdine

Differential Revision: D4899754

fbshipit-source-id: 288305a

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