Faster tree pattern matching