SZS status Theorem for i/f/finite_map/FRANGE__FUPDATE__DOMSUB
