Up-split procedure

Define the procedure up-split used by corner-split . It is similar to right-split , except that it switches the roles of below and beside .

---