add failing laziness test