nitc :: BasicBlock :: variables_sites=
# Parts of AST that contain a variable access (read or write) var variables_sites = new Array[AExpr]