SZS status Theorem for i/f/patricia/UNION__PTREE__IS__PTREE
