several bug fixes and minor edits -- stratification, tree sectioning both improved and verified with null examples