nitc :: BasicBlock :: write_sites=
# Parts of AST that contain a write to a variable var write_sites = new Array[AVarFormExpr]