SZS status Theorem for i/f/finite_map/SAME__KEY__UPDATES__DIFFER
