Fix logic bug in BoogalooAnalyser which meant that we wouldn't report out of memory situations correctly.
Fix logic bug in BoogalooAnalyser which meant that we wouldn't
report out of memory situations correctly.

symbooglix/boogie-runner,symbooglix/boogie-runner