Now we also enumerate all Nonterminal vertices, so you don'y have to think about memory rellocation
Refactored MatchingTable::matches