Вы бы попробовали понять об чём этот LSP, а не подходить к нему формально, да ещё с произвольными изменениями.
В таком формальном подходе LSP вообще невозможен, так как при наследовании как минимум меняется класс объекта, даже если ничего не добавлено и не переопределено.
Понятно? А теперь думайте, что же на самом деле означает LSP.