loosened another check; it turns out that even non-void methods may not return if they have an infinite loop (and abc has a test case for it)