Added framework for validating generated syntax trees.