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