Function function_state_vars 

pub fn function_state_vars<'gcx>(
    gcx: Gcx<'gcx>,
    func_id: FunctionId,
    seen: &mut HashSet<FunctionId>,
    out: &mut HashSet<VariableId>,
)

State variables read by the body of func_id, following calls into user functions.