SZS status Theorem for i/f/bag/mlt__UNION__CANCEL__EQN
