Create predicates.h