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