20171110 city.mumbai: HC: Small encroacher or big builder; use same yardstick