SZS status Theorem for i/f/while/LEAST__ELIM
