Abstractions to Subpatch