public int GetCommandNbr([PexAssumeUnderTest] Salon target, int id)
{
int result = target.GetCommandNbr(id);
return(result);
// TODO: add assertions to method SalonTest.GetCommandNbr(Salon, Int32)
}