nitc :: BasicBlock :: _variables
# The variables that are accessed in this block var variables = new Array[Variable] is lazy