### Use implemented in test Analyzers to check the invariant of the reconstructed TreeStruct
Use implemented in test Analyzers to check the invariant of the reconstructed TreeStruct