merging with the branch master
Add the equals function to Valuation and AbstractGlobalState