More thorough test of the environment toString
Updated the commentary for OrTreeNode