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