Add empty node removal
Fixed a self-reference bug in nodeMerge(). Add trace reverse-postordering. The order is obtained by a recursive procedure now. Need to transform it into a non-recursive version.