A fact binding or result binding match can overlap with a binding for a particular slot (see the consequence case above).
When this occurs we favor highlighting the whole fact/result binding.
Because the second match corresponds to the second condition, we might consider trying to highlight the UUID with the same color as ?e (or whatever variables are bound within the accumulator's constraints). This would require us to map the global bindings to colors we currently have by condition index, and to pass the mappings for e.g. condition index 1 to the function that renders match index 1.
A fact binding or result binding match can overlap with a binding for a particular slot (see the consequence case above).
When this occurs we favor highlighting the whole fact/result binding.
Because the second match corresponds to the second condition, we might consider trying to highlight the UUID with the same color as ?e (or whatever variables are bound within the accumulator's constraints). This would require us to map the global bindings to colors we currently have by condition index, and to pass the mappings for e.g. condition index 1 to the function that renders match index 1.