SZS status Theorem for i/f/hrat/TRAT__ADD__SYM
