SZS status Theorem for i/f/finite_map/FUPDATE__EQ__FUPDATE__LIST
