Inserting corners in the corner_orientaions example