Fix commit of instructions subsumed by invariants