return value.hashCode() + 5*ifcmpDecision.hashCode() + 17*fallThroughDecision.hashCode();
return Util.nullSafeHashcode(value) + 5 * Util.nullSafeHashcode(ifcmpDecision) + 17 * Util.nullSafeHashcode(fallThroughDecision);
	public int hashCode() {		return value.hashCode() + 5*ifcmpDecision.hashCode() + 17*fallThroughDecision.hashCode();	}