Experimenting on a more precise notion of equality on environments.