Added laziness test file