Function occurs_free_in_term 

pub fn occurs_free_in_term(body: &Term, name: &str) -> bool

Whether name occurs free in body at all — stops at the first occurrence.