if (!deadlockMpsatResult.isSuccess()) {
                        if (deadlockMpsatResult.isCancel()) {
                            return Result.cancel();
                        }
                        return Result.failure(new VerificationChainOutput(