Function is_ground 

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

Check whether an expression contains no FVar, MVar, or BVar nodes.