public int GetProvinceTest([PexAssumeUnderTest] BusinessPlayer target, string input)
{
int result = target.GetProvince(input);
return(result);
// TODO: add assertions to method BusinessPlayerTest.GetProvinceTest(BusinessPlayer, String)
}