fix(rewrite): avoid collisions between type vars in cstor-rw-rule
fix(rewrite): avoid collisions between type vars in cstor-rw-rule

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