Sulfur: a Reflective Tactic for Substitution Simplification | Synapse