The slope is only slippery if the change in question makes it easier for future changes to be bad. Otherwise you're only arguing for no changes to ever be made. Does this law make forced verification easier than if this law didn't exist?
It's actually pretty hard not to have a change be part of a slippery slope. It requires including blocks for further behavior as any subset implementation is hard to sell as not being a slippery slope path otherwise.