Question: How do you create a rewrite pass based on whether two expressions refers to the same bound name?