public void AssertNumberTest( [PexAssumeUnderTest] ValueHelper target, object value, string operation ) { target.AssertNumber(value, operation); // TODO: add assertions to method ValueHelperTest.AssertNumberTest(ValueHelper, Object, String) }