Create S4_Predicates.cpp