Double-checking for abstract EDBML tree