I think DrRacket also has something like this, but it shows lines between identical variables instead of using colors.