SZS status Theorem for i/f/bool/IMP__F__EQ__F
