[refactor] Refactor SymExec Sil.Call pattern match
[refactor] Refactor SymExec Sil.Call pattern match

Reviewed By: jeremydubreil

Differential Revision: D4095871

fbshipit-source-id: d496776

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