Hi Neil,
Like the other couple of related posts you had, this seems like a bug in Isolator analyzing the call in WhenCalled() to understand it's a field access and not something else. I'm working to figure out the root cause, and we'll fix this in a future version.
Thanks for reporting this!
Doron
Typemock Support