This adds a function 'refine_by_fact', which lets one (in practice) add any value to the trace.
Mathematically, this can be viewed as equivalent to pushing a graph with no edges, where every vertex as the some colour (although this function call, and such a graph, would produce different traces in practice, just from how it is implemented)
This adds a function 'refine_by_fact', which lets one (in practice) add any value to the trace.
Mathematically, this can be viewed as equivalent to pushing a graph with no edges, where every vertex as the some colour (although this function call, and such a graph, would produce different traces in practice, just from how it is implemented)