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