[sledge] Obtain bitwidth and type from same arg of binop exps
[sledge] Obtain bitwidth and type from same arg of binop exps

Reviewed By: mbouaziz

Differential Revision: D12854509

fbshipit-source-id: 4d5504adb

jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer