[henshin-dev] Resetting of the temporary domain

[Christian Krause <henshin.ck@xxxxxxxxx>]

Hi Enrico,

the DomainChange class is apparently used to store the old contents of 
the temporaryDomain when it is changed (see ReferenceConstraint:52). 
When unlocking a variable, this change is reverted again (see 
DomainSlot:231). At this point, the temporaryDomain is reset to its 
previous value. If the temporaryDomain is reset to its original values 
at this point, why should it be also done in DomainSlot.clear() ?

Cheers,
Christian