public string createIDTest([PexAssumeUnderTest] ProgramOutBLL target)
{
string result = target.createID();
return(result);
// TODO: add assertions to method ProgramOutBLLTest.createIDTest(ProgramOutBLL)
}