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