Bridging state-based differencing and co-evolution