Function expr_state_vars 

pub fn expr_state_vars<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &Expr<'_>,
    seen: &mut HashSet<FunctionId>,
    out: &mut HashSet<VariableId>,
)

State variables read by expr, following calls into user functions.