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