Optimisation graph closure.
Bug fix (causal compression were using weak compression representation of side effects, which were wrong).