def add_corners_when_out(dim_index, direction, k)
          v1 = direction * k * shift_vector(1, dim_index)
          v2 = direction * k * shift_vector(2, dim_index)
          p1 = edge.inside.p1.plus(v1)
          coords = []