Update WritablePredicate.cpp