updated gui
replaced output 'linear constraints' of SliceExtractor with 'conflict sets'