Replace an instance of \!size() with isEmpty()