Evaluation for counted subtrees
Evaluation stuff