let term_filter t x = F.term_has_var [x] t