correct left rec test
lazy
get the test failing in the intended way again