SZS status Theorem for i/f/patricia/UNION__PTREE__COMM__EMPTY
