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