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