geometry :: ILine :: point_left
# Point at the left-end of the segment fun point_left: P is abstract
redef var point_left