Function is_closed 

pub fn is_closed(expr: &Expr) -> bool

Check whether an expression is closed (contains no BVar with index ≥ depth).