keel.GraphInterKeel.datacf.partitionData.PartitioningSchemes