[ins] rewrite invariant filter with generic RK4