[sledge] Handle more LLAIR expressions in APRON interval analysis
[sledge] Handle more LLAIR expressions in APRON interval analysis

Summary:
Extend the APRON-backed interval analysis to handle a wider range
of LLAIR expressions.

Reviewed By: jvillard

Differential Revision: D17858072

fbshipit-source-id: c50f5bf20

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