merged correction of TreeAssertions into my branch