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)
Merge branch 'develop' into pull-request-asm