-- non-empty list of points in the edge so far, in reverse order
-- direction taken to reach the tip of the edge
Some(edge) if the edge is well-formed and terminates at a box, otherwise None.
(Since version ) see corresponding Javadoc for more information.