Flip fixed
Extracted is_inside
Added template for onEdgeAddition
Added exact predicate
Fixed constraint bug