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)
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)

cfallin/soot,xph906/SootNew,cfallin/soot,anddann/soot,mbenz89/soot,anddann/soot,plast-lab/soot,anddann/soot,plast-lab/soot,mbenz89/soot,xph906/SootNew,anddann/soot,cfallin/soot,cfallin/soot,mbenz89/soot,plast-lab/soot,xph906/SootNew,mbenz89/soot,xph906/SootNew