Function is_uncapped_value_call 

fn is_uncapped_value_call(
    gcx: Gcx<'_>,
    callee: &Expr<'_>,
    opts: Option<&CallOptions<'_>>,
) -> bool

.call{value: v}(...) with a non-zero value and no gas cap other than gasleft().