Function is_var_binding 

pub fn is_var_binding(expr: &TLExpr) -> bool

Returns true if expr is a zero-argument predicate (variable alias).