SZS status Theorem for i/f/finite_map/FMAP__MAP2__FUPDATE
