Function underlying_var 

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

Resolves a VariableId for bare idents and address-like wrappers.