SZS status Theorem for i/f/finite_map/FDOM__EQ__FDOM__FUPDATE
