"But if the returned type is an object that can not be mocked (such as a sealed class), then if a symbolic member of that type previously exists in the symbolic execution space, then it is returned." . . . .