Teach do_imply additional aliasing rules
Teach do_imply additional aliasing rules

Reviewed By: jeremydubreil

Differential Revision: D5331685

fbshipit-source-id: 413d308

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