Finding a Forest in a Tree - The matching problem for wide reactive systems