This method backtracks the changes the variable "villain" executed on the other variables' domains.
GeneralizedLookahead Class | Casper.Algorithm Namespace