Re-generated the equals and hashCode function in AbstractGlobalState
One line was missing if we do the proof from a single state