AVL Binary Heap (Balanace-Test)

Ich versuche zu testen, ob ein Baum ein AVL-Baum ist oder keinen Prolog verwendet.Ich habe einen Höhentest gemacht, der für die Tests funktioniert, die ich b...