StackColor

fold_edge_facts_b

foldConflicts

type IGraph

type ClassCount

buildIGraphAndCounts

graphAddConflictSet

slotClass

mkSizeOf