[infer] Initial attempt to cleanup and generalize the annotation reachability checker
[infer] Initial attempt to cleanup and generalize the annotation reachability checker

Reviewed By: jeremydubreil

Differential Revision: D5198064

fbshipit-source-id: 248c525

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