Update S4_Predicates.cpp