SZS status Theorem for i/f/finite_map/FMERGE__FEMPTY_c1
