nitc :: Variable :: read_blocks=
# Part of the program where this variable is read var read_blocks: Array[BasicBlock] = new Array[BasicBlock] is lazy