Fix: We assume the avl to be an abstract "avl" type