[tgv]

They might be generating programs that they know will halt. Like: applications with finite loops and such. There are not enough details.