StackColor
fold_edge_facts_b
foldConflicts
type IGraph
type ClassCount
buildIGraphAndCounts
graphAddConflictSet
slotClass
mkSizeOf