Function var_of 

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

The variable an expression denotes, through parens and uint256(..)/bytes32(..) casts.