Fix detection of infinite loops
Fix detection of infinite loops

Awwgh... this is the bug that cost us so many points
in SV-COMP... damn you last-minute changes! 8-)

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic