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