Macro-out checking a tx validly spends another (and add one more)

No match.