SZS status Theorem for i/f/patricia/ADD__INSERT
