[model-checking] Ещё про копии решений