Added `Stp` ordering instance.