print new predicates to output.P
ignore the big files