apply the idea in paper "Explicit Stabilisation" in the proof. But it doesn't seem to reduce the work