[sledge] Fix type of functions called using a cast
[sledge] Fix type of functions called using a cast

Summary:
For function calls where the callee is a cast expression, previous the
wrong type would be used for the callee. This could lead to crashes in
llvm, or asserting in sledge.

Reviewed By: bennostein

Differential Revision: D17725610

fbshipit-source-id: 938b49a49

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