failing test for linskov substitution