SZS status Theorem for i/f/while/FULL__LEAST__INTRO
