Deprecate Liskov#inv.