+
+
+
+
+
+Unwanted removal search subgraphs:
+
+ rm relevant removal
+ inc
+
+ rm impossible to undo removal, arrgh, terminates search
+inc inc..
+/ ??? \
+
+ rm
+inc.. rm.. merge of a removal, search down the rm path
+/ [inc] \
+
+ inc ??? call it an inclusion, terminate the search
+ rm
+
+ inc merge of an inclusion, terminates search
+inc.. rm..
+/ [rm] \
+
+ inc ??? call it an inclusion, terminate search
+rm.. rm..
+/ ??? \
+
+
+ rm inc inc rm irrelevant
+ rm inc inc inc.. rm rm..
+
+
+
+ proposed (elsewhere)
+ / \ | |
+ / \ | |
+ / | | |
+ REMOVAL rm | | |
+ | | | |
+ inc | | |
+ / | | | |
+ / inc | | |
+ | | `------------ | ----<-------- | -.|
+ inc inc | | *2
+ |`- | ------------- | ----<--------.| |
+ `---inc | 1* /
+ | | | /
+ RE-INCLUDE inc rm REMOVAL |'
+ \ | / |
+ * REMOVAL rm / |
+ | inc |
+ inc / |
+ | / |
+ inc / |
+ | /`--------<-----------.|
+ inc / |
+ | / |
+ RE-INCLUDE inc / |
+ \ | / |
+ * REMOVAL rm / |
+ | / |
+ inc |
+ \ |
+ `------------<-------------.|
+ |
+ |
+ IT
+
+
+ Merge 1* and 2*, diff against some relevant base branch commit
+ or something, and apply to proposed.