Test consider-otherwise-covered branch