Keep track of *which* input constraint matches an output