Max/Min nodes Value implementations inherit from that of AddNode, which checks if either input has type bottom, in which case it returns the local bottom immediately. This is clearly wrong, as Type(Min(x, -1)) should equal to [min_jint, -1] instead of bottom.