SZS status Theorem for i/f/patricia/INSERT__PTREE__IS__PTREE
