[quandary] don't include taint_opt as part of formal_map
[quandary] don't include taint_opt as part of formal_map

Reviewed By: jeremydubreil

Differential Revision: D4401887

fbshipit-source-id: 76e0fd8

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