detect backedges, isExitStmt seems to work :)