Есть ли способ утверждать правильное поведение метода?

Question

У меня есть метод, который мне нужен, чтобы проверить все его ветви.Я не могу найти способ подтвердить или проверить правильность теста, потому что обе ветви ведут себя почти одинаково.Кстати, я не могу изменить данный код

Я пытался проверить, что вызываются End и Write, но они вызываются в обоих сценариях.

if (m_FailedOnInitialize)
{
    if (!ctx.Request.IsLocal)
    {
        ctx.Response.Write("Failed on initialization");
        ctx.Response.End();
    }
    else
    {      
        ctx.Response.Write(m_FirstError.ToString());
        ctx.Response.End();
    }
}

m_FailedOnInitialize - это static field, я установил его на true.
ctx.Request.IsLocal в каждом тесте на true / false.

Для подтверждения поведения я использую проверку Typemock

Isolate.Verify.WasCalled(() => ctx.Response.write(""));
Isolate.Verify.WasNotCalled(() => ctx.Response.End());