Throw exceptions when pre-conditions are not met
[cosmetic] Use lower-case variable names
Do adjust previousVertexIom in checkSegmentIntersectionWithDirectPredecessor()