Function is_closed_term 

pub fn is_closed_term(term: &Expr) -> bool

Returns true if term contains no free variables (is a closed term).

A closed term has no FVar nodes; BVar nodes are allowed (they are bound).