008_scc: added some invariants.