Removed some preconditions which were invalid because of how the Empty case of AvlTree uses 'null' as an optimized representation.