Function underlying_var 

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

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