Neil,
This is a bug in the way we analyze nested calls. What happens is that the static method is called from within the verify statement because it's run as part of the static constructor, and we mistakenly think it's nested within the verify statement.
Until we fix the bug and to work around the issue, you can fake the static constructor too:
Isolate.Fake.StaticConstructor<A>();
This should prevent it from running inside the verify statement.
Let me know if this helps.
Doron
Typemock Support