SZS status Theorem for i/f/finite_map/NOT__EQ__FEMPTY__FUPDATE
