`MatchingProblem` should keep track of which template nodes have exactly one candidate.
MatchingProblemshould keep track of which template nodes have exactly one candidate.