Implemented merging using abstracted policies; still need actual abstractions to work.