shatter implemented. but it is not working as intended yet.
implement equitableRefinement
factor zippers out
locateInPartition
splittingBy