nitc :: APropdef :: is_generated=
# If true, the basic blocks where generated var is_generated: Bool = false