ordered := ordered & ((item = NIL) OR (item^ < tree.item^));
statt
ordered := (item = NIL) OR (item^ < tree.item^);