fixed VerifyFactsWithIncorrectProxy_Test()