Hi,
With Natural Mocks, you need to use FailWhenCalled:
using (RecordExpectations rec = RecorderManager.StartRecording() )
{
Utility.NextMethodPlease();
rec.FailWhenCalled();
}
And with the upcoming version of AAA syntax supporting static methods, you can use Isolate.Verify.WasNotCalled. You can use it today for instance.