Note: this is most likely not the way we want to test our matchers, but it demonstrates the current issue.
