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