[invariant] update rewritten invariant filter