Debugging Equations and Conversions: Spotting Representation Traps