side-effects with auto-simplification

[wwitzel]

trafficstars

Auto-simplification is turned off while deriving side-effects to avoid infinite recursion issues. I ran into an instance where it was prudent to turn it on for a particular side-effect. Maybe it should be enabled by default and only disabled for particular side-effects that cause the infinite recursion problem. This is something we should experiment with at some point.