Initialize active_invariants. Sigh.