I decreased it yesterday, and now I'm putting it back up again,
but not as far as it was. I'm not sure what caused these changes
but it doesn't matter because this test checks that the type checker
gets out of an infinite loop.