Refactoring.
Minor code tweak.

PushNotIn never constructed without a pred list, although it might be empty;
having a nil default argument is just confusing.
Merge branch 'master' into gc-proto-v1
Checkpoint initial version of RSE.