Function underlying_var 

fn underlying_var(gcx: Gcx<'_>, expr: &Expr<'_>) -> Option<VariableId>

The variable a bare identifier refers to, looking through parens, payable(...) and address-like or numeric casts.