pub fn has_fvar(e: &Expr, fvar: FVarId) -> bool
Check if an expression contains a specific free variable.