Store parent-child relationships in the SliceStore, extract constraints explicitly, rather than relying on ComponentTreeConverter
ignore CMakeFiles
BlockSolver -> CoreSolver
SliceWriter: Handle null children, which occurs when the child and parent belong to different blocks
SliceReader: Reconstitute conflict information in Slices