[rules-dev] More efficient retraction without shadow proxies