Dirty abstraction warnings

Jonathan Wilkesrequested to merge
dirty-abstraction-warnings into master

Guillem's patch to warn the user when they dirty two or more abstraction instances

Merge request reports