SZS status Theorem for i/f/while/LEAST__EXISTS
