simple fix to `Rewrite_rule`, simplify it (but less efficient?)
simple fix to `Rewrite_rule`, simplify it (but less efficient?)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition