SZS status Theorem for i/f/finite_map/fmap__rel__FUPDATE__same
