Removed the output contract for InputStream.leastSize again as this.empty was not really evaluated for some reason leading to false alarms.