This function indexes values of type T and V, and the result of their matching so that the algorithm can work on a simplified graph form of just of matching elements represented by integers
This function indexes values of type T and V, and the result of their matching so that the algorithm can work on a simplified graph form of just of matching elements represented by integers
matched values with their result and missing values
Use of the Hopcroft-Karp (https://en.wikipedia.org/wiki/Hopcroft%E2%80%93Karp_algorithm) algorithm for specs2, to the minimum set of mismatched elements, and corresponding failures