(DAL) Added instrumentation for analysis
(DAL) Fix bug in removal of processed elements
(DAL) Fixed addAll in read token set building

The previously-used solution with a TreeSet initialised with the
InstLoadComparator is apparently not effective in preventing two similar
InstLoads from being present after addAll is called.