bugfix: initial value of program option in GeometryFeatureExtractor was of wrong type
changed StackSliceExtractor to use conflict sets instead of linear constraints