SZS status Theorem for i/f/update/SAME__KEY__UPDATE__DIFFER
