[ref_impl_eiffel] [457] Added classes and routines to properly iterate through Assertion expression trees, with or without a visitor.

Revision: 457
Author: thomas.beale

Log Message: