update initial_invariant for change to invariant_def