Structure Sharing in Incremental Systems