Updating ALDRedefinition documentation