Updated hashCode with Arrays

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7226 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/State.java

@@ -137,8 +137,7 @@ public class State implements Comparable<State>
 	@Override
 	public int hashCode()
 	{
-		// Simple hash code
-		return varValues.length > 0 ? varValues[0].hashCode() : 0;
+		return Arrays.hashCode(varValues);
 	}
 
 	@Override