It is a Mock. The test verifies that the `OnIsSatisfiedByProperty` method is invoked. (It doesn't take into account the return value.)