Recreate nog_invariant_holds.