DO NOT MERGE: Throw an exception if a deleted subtree was modified