SZS status Theorem for i/f/patricia/EMPTY__IS__PTREE
