Minor code tweak.

PushNotIn never constructed without a pred list, although it might be empty;
having a nil default argument is just confusing.