Feature abstractionsaving

Jonathan Wilkesrequested to merge
feature-abstractionsaving into master

Guillem's subpatch-to-abstraction feature from GSoC

Merge request reports