pub fn expr_contains_fvar(expr: &Expr, fvars: &[FVarId]) -> bool
Check if an expression contains any free variable in the given set.