SZS status Theorem for i/f/finite_map/SUBMAP__FUNION__ID_c1
