As I understand it, you need a good length of output to be able to detect the watermark, because only then can you see the statistical effect with confidence. There are usually various options in code for how you get something done, and they could watermark generated code by adding a distinctive pattern to its preferences for certain constructs over others. But it would have to be subtle, so you’d need a large enough sample of its output before you could see the effect.