Renaming
Check for stop message more frequently in invariant generation