SZS status Theorem for i/f/patricia/NUMSET__OF__PTREE__EMPTY
