Function root_var_is 

fn root_var_is(
    gcx: Gcx<'_>,
    expr: &Expr<'_>,
    pred: &impl Fn(VariableId) -> bool,
) -> bool

Whether the variable at the root of expr (through parens, members, indexes and slices) satisfies pred.