let
pred_filter p x =
F
.pred_has_var [x] p