Create predicates.cpp