Include error message in tree validator and print an expression that throws