Inference for FCallExpression