Finish fringe node cleanup
  token size doubling eliminated in the case of adding new conditions;
  require a Join followed by an Existential_Join to accomplish this -- possibly overkill;
Slight Feature printing improvement;