01/39: Add comment why ana.int.enums leads to this being unknown
01/39: Add comment why ana.int.enums leads to this being unknown

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer