Rewrote Dependency analysis to cut down on the amount of matching

I introduced a second control fact to define the first instruction and compare
against it for the second one. This has shifted the problem over a bit but, it
seems to be a bit faster.