Failing one test_typeinference.py