Add SobolevSegmenter extension