@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + ((elseIfs == null) ? 0 : elseIfs.hashCode());
		result = prime * result + ((exp1 == null) ? 0 : exp1.hashCode());
		result = prime * result + ((stateSeq1 == null) ? 0 : stateSeq1.hashCode());
		result = prime * result + ((stateSeq2 == null) ? 0 : stateSeq2.hashCode());
		return result;
	}