nitc :: Variable :: _assignment_blocks
# The blocks in which this variable is assigned var assignment_blocks: Array[BasicBlock] = new Array[BasicBlock] is lazy