Unification of variables according to deltas during cancellation process.
Merge branch 'deltaUnify'. It seems to work.