SZS status Theorem for i/f/sptree/lookup__fromAList__toAList
