Add conversion to exact predicates exact construction kernel format for consecutive booleans (experiments)